Pic

Aseem Rastogi

PhD Student
PLUM group
3452 A.V. Williams
Computer Science Dept.
University of Maryland, College Park

Contact: firstname@cs.umd.edu


(As of June 2016, I am a Researcher at Microsoft Research India)

I am a PhD student in Computer Science dept. at University of Maryland, College Park since Fall 2012. I work with the Programming Languages group. My advisor is Michael Hicks.

Earlier I was a graduate student in Computer Science dept. at Stony Brook University where my advisor was Rob Johnson.

Drafts:

1.
Implementing and Proving the TLS 1.3 Record Layer, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cedric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoue

Under review (Nov. 2016)

[.pdf]
2.
Verified Low-Level Programming Embedded in F*, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cedric Fournet, Catalin Hritcu, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Peng Wang, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoue

Under review (Nov. 2016)

[.pdf]
3.
WYS*: A Verified Language Extension for Secure Multi-party Computations, Aseem Rastogi, Nikhil Swamy, Michael Hicks

Under review (August 2016)

[.pdf] [code] [video]

Publications:

1.
Dijkstra Monads for Free, Danel Ahman, Catalin Hriţcu, Guido Martinez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, and Nikhil Swamy

POPL '17 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France (To appear)

[.pdf]
2.
Solid Ether: Formal Verification of Smart Contracts (Short paper), Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cedric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Beguelin

PLAS '16 ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security, Vienna, Austria (To appear)

[.pdf]
3.
Dependent Types and Multi-Monadic Effects in F*, Nikhil Swamy, Catalin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan,
Cedric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Beguelin

POPL '16 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Florida, USA

[.pdf] [F* webpage]
4.
Safe & Efficient Gradual Typing for TypeScript, Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris

POPL '15 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India

[.pdf] [TR] [slides] [code] [video]
5.
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations, Aseem Rastogi, Matthew A. Hammer, Michael Hicks

IEEE S&P '14 (Oakland) 35th IEEE Symposium on Security and Privacy, San Jose, USA

[.pdf] [TR] [code] [slides]
6.
Gradual Typing Embedded Securely in JavaScript, Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman

POPL '14 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA

[.pdf] [TR] [slides]
7.
Knowledge Inference for Optimizing Secure Multi-party Computation, Aseem Rastogi, Piotr Mardziel, Michael Hicks, Matthew Hammer

PLAS '13 ACM SIGPLAN Eighth Workshop on Programming Languages and Analysis for Security, Seattle, USA

[.pdf] [slides]
8.
Gone, But Not Forgotten: The Current State of Private Computing (Short Paper), Aseem Rastogi, Jun Yuan, Rob Johnson

W2SP '13 WEB 2.0 SECURITY & PRIVACY 2013, San Francisco, USA

[.pdf]
9.
Types and Access Control for Cross-Domain Security in Flash, Aseem Rastogi, Avik Chaudhuri, Rob Johnson

APLAS '12 10th Asian Symposium on Programming Languages and Systems, Kyoto, Japan

[.pdf] [slides]
10.
The Ins and Outs of Gradual Type Inference, Aseem Rastogi, Avik Chaudhuri, Basil Hosmer

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Philadelphia, USA

[.pdf] [slides]

Software:

1.
F*: A language for verifying higher-order, effectful programs (link)
2.
WYS*: A verified language extension for Secure Multi-party Computations (link)
3.
Wysteria: A high-level functional language for writing mixed-mode multiparty computations (link)
4.
Safe TypeScript: A sound and efficient gradual type system for TypeScript fully integrated into TypeScript v0.9.5 (link)

Talks:

1.
Formal verification of secure multi-party computations, Microsoft Research Internship Presentation, Summer '15 (video)
2.
Safe & Efficient Gradual Typing for TypeScript, POPL '15 (slides)
3.
Safe & Efficient Gradual Typing for TypeScript, Microsoft Research Internship Presentation, Summer '14 (video, slides)
4.
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations, IEEE S&P '14 (Oakland) (slides)
5.
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations, Guest Lecture CMSC631 (slides)
6.
Gradual Typing Embedded Securely in JavaScript, POPL '14 (slides)
7.
TS*: Taming the Un-typed Adversary in JavaScript, Microsoft Research Internship Presentation, Summer '13 (slides)
8.
Knowledge Inference for Optimizing Secure Multi-party Computation, PLAS '13 (slides)
9.
Types and Access Control for Cross-Domain Security in Flash, APLAS '12 (slides)
10.
The Ins and Outs of Gradual Type Inference, POPL '12 (slides)

Technical reports:

1.
Safe & Efficient Gradual Typing for TypeScript (MSR-TR-2014-99), Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris (.pdf)
2.
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations (CS-TR-5034), Aseem Rastogi, Matthew A. Hammer, Michael Hicks (.pdf)
3.
Gradual Typing Embedded Securely in JavaScript, Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin Bierman (.pdf)