Cited By
View all- Liu S(2022)All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic TransactionsACM Transactions on Software Engineering and Methodology10.1145/349451731:3(1-44)Online publication date: 7-Mar-2022
- Burke MCheng ALloyd WBhagwan RPorter G(2020)GryffProceedings of the 17th Usenix Conference on Networked Systems Design and Implementation10.5555/3388242.3388286(591-618)Online publication date: 25-Feb-2020
- Crow SFarinholt BJohannesmeyer BKoscher KCheckoway SSavage SSchulman ASnoeren ALevchenko KJansen RPeterson P(2019)TritonProceedings of the 12th USENIX Conference on Cyber Security Experimentation and Test10.5555/3359012.3359015(3-3)Online publication date: 12-Aug-2019
- Show More Cited By