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

Bootstrapping Trust in a "Trusted" Platform.. HotSec, USENIX Association, (2008)Secure sensor network routing: a clean-slate approach., , , and . CoNEXT, page 11. ACM, (2006)Transparency Dictionaries with Succinct Proofs of Correct Operation., , , and . NDSS, The Internet Society, (2022)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)Distributed Detection of Node Replication Attacks in Sensor Networks., , and . S&P, page 49-63. IEEE Computer Society, (2005)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)Fast Geometric Projections for Local Robustness Certification., , , , and . ICLR, OpenReview.net, (2021)Phoolproof Phishing Prevention., , and . Financial Cryptography, volume 4107 of Lecture Notes in Computer Science, page 1-19. Springer, (2006)