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)Dijkstra monads for free., , , , , , , and . POPL, page 515-529. ACM, (2017)SIRNN: A Math Library for Secure RNN Inference., , , , , , and . IACR Cryptol. ePrint Arch., (2021)Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations.. University of Maryland, College Park, MD, USA, (2016)base-search.net (ftunivmaryland:oai:drum.lib.umd.edu:1903/18541).Celestial: A Smart Contracts Verification Framework., , , , and . FMCAD, page 133-142. IEEE, (2021)Enabling Memory Safety of C Programs using LLMs., , , , and . CoRR, (2024)Dijkstra Monads for Free., , , , , , and . CoRR, (2016)Tutorials and Technical Briefings at ISEC 2019., and . ISEC, page 33:1-33:2. ACM, (2019)SteelCore: an extensible concurrent separation logic for effectful dependently typed programs., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 121:1-121:30 (2020)EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning., , , , and . EuroS&P, page 496-511. IEEE, (2019)