( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Secure Medical Image Analysis with CrypTFlow.

, , , , , , , , и . CoRR, (2020)

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

 

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

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , и 5 other автор(ы). IACR Cryptol. ePrint Arch., (2019)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).Celestial: A Smart Contracts Verification Framework., , , , и . FMCAD, стр. 133-142. IEEE, (2021)Enabling Memory Safety of C Programs using LLMs., , , , и . CoRR, (2024)Tutorials and Technical Briefings at ISEC 2019., и . ISEC, стр. 33:1-33:2. ACM, (2019)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)EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning., , , , и . EuroS&P, стр. 496-511. IEEE, (2019)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , и 3 other автор(ы). ESOP, том 11423 из Lecture Notes in Computer Science, стр. 30-59. Springer, (2019)