Aseem Rastogi

Formal Verification of Smart Contracts

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

Computing, Computer Science, Cybersecurity +13

CrypTFlow2: Practical 2-Party Secure Inference

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

Computing, Computer Engineering, Computer Science +12

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

Computing, Computer Science, Formal Methods +16

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

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

Computing, Computer Science, Computer Systems +16

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

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

Computing, Computer Engineering, Computer Science +17