N
Nikhil Swamy
Researcher at Microsoft
Publications - 80
Citations - 3755
Nikhil Swamy is an academic researcher from Microsoft. The author has contributed to research in topics: Compiler & Semantics (computer science). The author has an hindex of 29, co-authored 77 publications receiving 3333 citations. Previous affiliations of Nikhil Swamy include University of Maryland, College Park.
Papers
More filters
Towards a Provably Secure Implementation of TLS 1.3
Antoine Delignat-Lavaud,Cédric Fournet,Markulf Kohlweiss,Jonathan Protzenko,Nikhil Swamy,Santiago Zanella-Béguelin +5 more
TL;DR: The implementation architecture, the new composite state machine for TLS 1.0–1.3, and the target security theorem are described, which will be the first cryptographic proofs for an implementation of HTTPS 1.3.
Proceedings Article
Verified Low-Level Programming Embedded in F*
Jonathan Protzenko,Jean Karim Zinzindohoue,Aseem Rastogi,Tahina Ramananandro,Peng Wang,Santiago Zanella-Béguelin,Antoine Delignat-Lavaud,Cătălin Hriţcu,Karthikeyan Bhargavan,Cédric Fournet,Nikhil Swamy +10 more
TL;DR: Low* as discussed by the authors is a dependently typed variant of ML aimed at program verification, which does not involve any garbage collection or implicit heap allocation; instead, it has a structured memory model a la CompCert, and it provides the control required for writing efficient low-level securitycritical code.
Proceedings Article
A Verified, Efficient Embedding of a Verifiable Assembly Language
TL;DR: In this article, the authors present an embedding of a subset of x64 assembly language in F* that allows efficient verification of both assembly and its interoperation with C code generated from F*.
Proceedings Article
Proceedings of the sixth workshop on Programming languages meets program verification
Koen Claessen,Nikhil Swamy +1 more
TL;DR: This year, the call for papers generated 12 submissions from all around the globe, of which 7 papers were selected for publication, and each has been allotted time for a full presentation.