( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified Low-Level Programming Embedded in F*.

, , , , , , , , , , и . CoRR, (2017)

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.

Armin Rastogi

Achal Rastogi

 

Другие публикации лиц с тем же именем

Dijkstra monads for free., , , , , , , и . POPL, стр. 515-529. ACM, (2017)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).EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , и 5 other автор(ы). IACR Cryptol. ePrint Arch., (2019)Celestial: A Smart Contracts Verification Framework., , , , и . FMCAD, стр. 133-142. IEEE, (2021)Enabling Memory Safety of C Programs using LLMs., , , , и . CoRR, (2024)SteelCore: an extensible concurrent separation logic for effectful dependently typed programs., , , , , и . Proc. ACM Program. Lang., 4 (ICFP): 121:1-121:30 (2020)Hardening attack surfaces with formally proven binary format parsers., , , , , , , , , и . PLDI, стр. 31-45. ACM, (2022)Tutorials and Technical Briefings at ISEC 2019., и . ISEC, стр. 33:1-33:2. ACM, (2019)EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning., , , , и . EuroS&P, стр. 496-511. IEEE, (2019)ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code., , , , , , , , и . EuroSys, стр. 4:1-4:15. ACM, (2019)