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

Phoolproof Phishing Prevention., , and . Financial Cryptography, volume 4107 of Lecture Notes in Computer Science, page 1-19. Springer, (2006)Bootstrapping Trust in a "Trusted" Platform.. HotSec, USENIX Association, (2008)A Direct Construction for Asymptotically Optimal zkSNARKs., , and . IACR Cryptol. ePrint Arch., (2020)Secure sensor network routing: a clean-slate approach., , , and . CoNEXT, page 11. ACM, (2006)Vale: Verifying High-Performance Cryptographic Assembly Code., , , , , , , , and . USENIX Security Symposium, page 917-934. USENIX Association, (2017)Transparency Dictionaries with Succinct Proofs of Correct Operation., , , and . NDSS, The Internet Society, (2022)Portcullis: protecting connection setup from denial-of-capability attacks., , , , , and . SIGCOMM, page 289-300. ACM, (2007)Fast Geometric Projections for Local Robustness Certification., , , , and . ICLR, OpenReview.net, (2021)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)