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

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 5 other author(s). IACR Cryptol. ePrint Arch., (2019)PAC: Practical Accountability for CCF., , , , , , , , , and 2 other author(s). CoRR, (2021)Key-schedule Security for the TLS 1.3 Standard., , , , , and . IACR Cryptol. ePrint Arch., (2021)Why Should I Trust Your Code?, , , , , , and . Commun. ACM, 67 (1): 68-76 (January 2024)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 6 other author(s). SP, page 983-1002. IEEE, (2020)IA-CCF: Individual Accountability for Permissioned Ledgers., , , , , , , , , and 5 other author(s). NSDI, page 467-491. USENIX Association, (2022)Toward confidential cloud computing., , , , , , , and . Commun. ACM, 64 (6): 54-61 (2021)Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement., , , , and . CoRR, (2022)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , and . IACR Cryptol. ePrint Arch., (2020)ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER., , , , and . CPP, page 275-289. ACM, (2023)