Author of the publication

Vale: Verifying High-Performance Cryptographic Assembly Code.

, , , , , , , , and . USENIX Security Symposium, page 917-934. USENIX Association, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

BAD: bandwidth adaptive dissemination or (the case for BAD trees)., and . Middleware (Demos and Posters), page 25. ACM, (2007)Picsou: Enabling Efficient Cross-Consensus Communication., , , , , and . CoRR, (2023)Upright cluster services., , , , , , and . SOSP, page 277-290. ACM, (2009)I4: incremental inference of inductive invariants for verification of distributed protocols., , , , , and . SOSP, page 370-384. ACM, (2019)Armada: low-effort verification of high-performance concurrent programs., , , , , , , and . PLDI, page 197-210. ACM, (2020)Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems., , , , , , and . USENIX Annual Technical Conference, page 151-166. USENIX Association, (2022)Towards Automatic Inference of Inductive Invariants., , , , , and . HotOS, page 30-36. ACM, (2019)Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility., , , , , , , , and . ACM Trans. Program. Lang. Syst., 44 (2): 12:1-12:39 (2022)Aegean: replication beyond the client-server model., and . SOSP, page 385-398. ACM, (2019)Brief Announcement: On the Significance of Consecutive Ballots in Paxos., , and . PODC, page 172-174. ACM, (2020)