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.
WYS*: A Verified Language Extension for Secure Multi-party Computations, Aseem Rastogi, Nikhil Swamy, Michael Hicks

Under review (August 2016)

[.pdf] [code] [video]
2.
Dijkstra Monads for Free, Danel Ahman, Cătălin Hriţcu, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, and Nikhil Swamy

Under review (July 2016)

[.pdf]

Publications:

1.
Solid Ether: Formal Verification of Smart Contracts (Short paper), Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin

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

[.pdf]
2.
Dependent Types and Multi-Monadic Effects in F*, Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan,
Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin

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

[.pdf] [F* webpage]
3.
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]
4.
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]
5.
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]
6.
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]
7.
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]
8.
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]
9.
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)