Aseem Rastogi
Aseem Rastogi
Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
2572016
Formal Verification of Smart Contracts: Short Paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
2572016
Formal verification of smart contracts: Short paper
K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ...
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016
2572016
Dependent types and multi-monadic effects in F
N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ...
ACM SIGPLAN Notices 51 (1), 256-270, 2016
1762016
Wysteria: A programming language for generic, mixed-mode multiparty computations
A Rastogi, MA Hammer, M Hicks
Security and Privacy (SP), 2014 IEEE Symposium on, 655-670, 2014
982014
Safe & efficient gradual typing for TypeScript
A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris
ACM SIGPLAN Notices 50 (1), 167-180, 2015
902015
The ins and outs of gradual type inference
A Rastogi, A Chaudhuri, B Hosmer
ACM SIGPLAN Notices 47 (1), 481-494, 2012
662012
Verified low-level programming embedded in F
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
Proceedings of the ACM on Programming Languages 1 (ICFP), 17, 2017
602017
Verified Low-Level Programming Embedded in F
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
60*2017
Gradual typing embedded securely in JavaScript
N Swamy, C Fournet, A Rastogi, K Bhargavan, J Chen, PY Strub, ...
Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014
572014
Everest: Towards a Verified, Drop-in Replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
LIPIcs-Leibniz International Proceedings in Informatics 71, 2017
312017
Implementing and proving the TLS 1.3 record layer
A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ...
Security and Privacy (SP), 2017 IEEE Symposium on, 463-482, 2017
292017
Implementing and proving the TLS 1.3 record layer
A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ...
Security and Privacy (SP), 2017 IEEE Symposium on, 463-482, 2017
292017
Dijkstra monads for free
D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ...
ACM SIGPLAN Notices 52 (1), 515-529, 2017
272017
Knowledge inference for optimizing secure multi-party computation
A Rastogi, P Mardziel, M Hicks, MA Hammer
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
202013
EzPC: Programmable, Efficient, and Scalable Secure Two-Party Computation
N Chandran, D Gupta, A Rastogi, R Sharma, S Tripathi
IACR Cryptology ePrint Archive 2017/1109, 2017
19*2017
A monadic framework for relational verification: Applied to information security, program equivalence, and optimizations
N Grimm, K Maillard, C Fournet, C Hriţcu, M Maffei, J Protzenko, ...
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
102018
Recalling a witness: foundations and applications of monotonic state
D Ahman, C Fournet, C Hriţcu, K Maillard, A Rastogi, N Swamy
Proceedings of the ACM on Programming Languages 2 (POPL), 65, 2017
72017
Recalling a Witness
D Ahman, C Fournet, C HRIŢCU, K Maillard, A Rastogi, N Swamy
arXiv preprint arXiv:1707.02466, 2017
7*2017
WYS*: A Verified Language Extension for Secure Multi-party Computations
A Rastogi, N Swamy, M Hicks
arXiv preprint arXiv:1711.06467, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20