Aseem Rastogi

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text

Engineering, Information Security, Verification +23

CrypTFlow2: Practical 2-Party Secure Inference

Deevashwer Rathee, Mayank Rathee, Nishant Kumar et al. · 2020 · 281 citations · Full text

Convolutional Neural Network, Cryptographic Primitive, Engineering +19

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations

Aseem Rastogi, Matthew A. Hammer, Michael Hicks · 2014 · 128 citations · Full text

Cryptographic Primitive, Engineering, Information Security +22

EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning

Nishanth Chandran, Divya Gupta, Aseem Rastogi et al. · 2019 · 102 citations · Full text

Cryptographic Primitive, Present Ezpc, Machine Learning +20

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 98 citations · Full text

Program Checking, Engineering, Compiler Technology +21