TY - RPRT TI - Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations AU - Hagit Attiya AU - Constantin Enea AU - Jennifer L. Welch PY - 2022 UR - https://arxiv.org/abs/2106.15554 ID - 2106.15554 ER -