Pic

Aseem Rastogi

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

Contact: firstname@cs.umd.edu


(I am joining Microsoft Research India as a Researcher starting June 2016)

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 (March 2016)

[.pdf] [code] [video]

Publications:

1.
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]
2.
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]
3.
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]
4.
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]
5.
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]
6.
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]
7.
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]
8.
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.
WYS*: A Verified Language Extension for Secure Multi-party Computations (link)
2.
Wysteria: A high-level functional language for writing mixed-mode multiparty computations (link)
3.
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)