| layout | title | permalink |
|---|---|---|
page |
Papers and Talks |
/papers/ |
| 2017 | |
| [3] | Implementing and Proving the TLS 1.3 Record Layer (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jianyang Pan, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Jean Karim Zinzindohoué) Submitted 2016. [bibtex] [pdf] |
| [2] | Verified Low-Level Programming Embedded in F* (Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Cătălin Hriţcu, Jonathan Protzenko, Tahina Ramanandro, Aseem Rastogi, Nikhil Swamy, Peng Wang, Santiago Zanella-Béguelin, Jean Karim Zinzindohoué) Submitted 2016. [pdf] |
| [1] | Dijkstra Monads for Free (Danel Ahman, Cătălin Hriţcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy), In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017. (To appear) [bibtex] [pdf] |