Implementing and Breaking Load-Link / Store-Conditional on an ARM-Based System. - Evan Tilley; Alexander Liebeskind; Rafael Asensio (CoRR, 2022)