Sotabase

Career

· Researcher, Microsoft Research India

Publications (63)

Formal Verification of Smart Contracts: Short Paper
PLAS@CCS · 2016
614
cited
Dependent types and multi-monadic effects in F*
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
407
cited
CrypTFlow2: Practical 2-Party Secure Inference
IACR Cryptology ePrint Archive · 2020
400
cited
CrypTFlow: Secure TensorFlow Inference
IEEE Symposium on Security and Privacy · 2019
268
cited
Verified low-level programming embedded in F*
Proc. ACM Program. Lang. · 2017
160
cited
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
IEEE Symposium on Security and Privacy · 2014
152
cited
SiRnn: A Math Library for Secure RNN Inference
IEEE Symposium on Security and Privacy · 2021
142
cited
Safe & Efficient Gradual Typing for TypeScript
ACM-SIGACT Symposium on Principles of Programming Languages · 2015
123
cited
EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning
European Symposium on Security and Privacy · 2019
116
cited
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
IEEE Symposium on Security and Privacy · 2020
111
cited
The ins and outs of gradual type inference
ACM-SIGACT Symposium on Principles of Programming Languages · 2012
82
cited
Everest: Towards a Verified, Drop-in Replacement of HTTPS
Summit on Advances in Programming Languages · 2017
80
cited
Gradual typing embedded securely in JavaScript
ACM-SIGACT Symposium on Principles of Programming Languages · 2014
71
cited
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation
IACR Cryptology ePrint Archive · 2018
68
cited
SecFloat: Accurate Floating-Point meets Secure 2-Party Computation
IEEE Symposium on Security and Privacy · 2022
60
cited
Ranking LLM-Generated Loop Invariants for Program Verification
Conference on Empirical Methods in Natural Language Processing · 2023
55
cited
Meta-F⋆: Proof Automation with SMT, Tactics, and Metaprograms
2018
47
cited
A verified, efficient embedding of a verifiable assembly language
Proc. ACM Program. Lang. · 2019
43
cited
Finding Inductive Loop Invariants using Large Language Models
arXiv.org · 2023
37
cited
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs
Proc. ACM Program. Lang. · 2020
32
cited
Sotabase
Aseem Rastogi | Researcher Profile | Sotabase | Sotabase