( en | de | ru )

 

Disambiguierung von "Rastogi, Aseem"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.

, , , , , , , , , und . CPP, Seite 130-145. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Armin Rastogi

Achal Rastogi

 

Weitere Publikationen von Autoren mit dem selben Namen

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , und 5 andere Autor(en). IACR Cryptol. ePrint Arch., (2019)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).Dijkstra monads for free., , , , , , , und . POPL, Seite 515-529. ACM, (2017)Celestial: A Smart Contracts Verification Framework., , , , und . FMCAD, Seite 133-142. IEEE, (2021)Enabling Memory Safety of C Programs using LLMs., , , , und . CoRR, (2024)Tutorials and Technical Briefings at ISEC 2019., und . ISEC, Seite 33:1-33:2. ACM, (2019)SteelCore: an extensible concurrent separation logic for effectful dependently typed programs., , , , , und . Proc. ACM Program. Lang., 4 (ICFP): 121:1-121:30 (2020)Hardening attack surfaces with formally proven binary format parsers., , , , , , , , , und . PLDI, Seite 31-45. ACM, (2022)EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning., , , , und . EuroS&P, Seite 496-511. IEEE, (2019)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , und 3 andere Autor(en). ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 30-59. Springer, (2019)