Author of the publication

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

Secure sensor network routing: a clean-slate approach., , , and . CoNEXT, page 11. ACM, (2006)Bootstrapping Trust in a "Trusted" Platform.. HotSec, USENIX Association, (2008)Phoolproof Phishing Prevention., , and . Financial Cryptography, volume 4107 of Lecture Notes in Computer Science, page 1-19. Springer, (2006)A Direct Construction for Asymptotically Optimal zkSNARKs., , and . IACR Cryptol. ePrint Arch., (2020)Vale: Verifying High-Performance Cryptographic Assembly Code., , , , , , , , and . USENIX Security Symposium, page 917-934. USENIX Association, (2017)Portcullis: protecting connection setup from denial-of-capability attacks., , , , , and . SIGCOMM, page 289-300. ACM, (2007)Transparency Dictionaries with Succinct Proofs of Correct Operation., , , and . NDSS, The Internet Society, (2022)Missive: Fast Application Launch From an Untrusted Buffer Cache., , , and . USENIX Annual Technical Conference, page 145-156. USENIX Association, (2014)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 6 other author(s). SP, page 983-1002. IEEE, (2020)SoK: Computer-Aided Cryptography., , , , , , and . SP, page 777-795. IEEE, (2021)