Nikhil Swamy

According to our database, Nikhil Swamy authored at least 55 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Ranking LLM-Generated Loop Invariants for Program Verification.

Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.

Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.

Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Hardening attack surfaces with formally proven binary format parsers.

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Steel: proof-oriented programming in a dependently typed concurrent separation logic.

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro

Proc. ACM Program. Lang., 2021

FastVer: Making Data Integrity a Commodity.

Arvind Arasu, Badrish Chandramouli, Johannes Gehrke, Esha Ghosh, Donald Kossmann, Jonathan Protzenko, Ravi Ramamurthy, Tahina Ramananandro, Aseem Rastogi, Srinath T. V. Setty, Nikhil Swamy, Alexander van Renen, Min Xu

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez

Proc. ACM Program. Lang., 2020

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

A verified, efficient embedding of a verifiable assembly language.

Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi, Nikhil Swamy

Proc. ACM Program. Lang., 2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin

IACR Cryptol. ePrint Arch., 2019

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.

Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko

Proceedings of the 28th USENIX Security Symposium, 2019

Wys*: A DSL for Verified Secure Multi-party Computations.

Aseem Rastogi, Nikhil Swamy, Michael Hicks

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

Proceedings of the Programming Languages and Systems, 2019

2018

Recalling a witness: foundations and applications of monotonic state.

Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy

Proc. ACM Program. Lang., 2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.

Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

CoRR, 2018

A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Verified low-level programming embedded in F.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

Proc. ACM Program. Lang., 2017

WYS*: A Verified Language Extension for Secure Multi-party Computations.

Aseem Rastogi, Nikhil Swamy, Michael Hicks

CoRR, 2017

A Monadic Framework for Relational Verification (Functional Pearl).

Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella Béguelin

CoRR, 2017

Verified Low-Level Programming Embedded in F^*.

Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy

CoRR, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Dijkstra monads for free.

Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

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 Zinzindohoue

IACR Cryptol. ePrint Arch., 2016

Dijkstra Monads for Free.

Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy

CoRR, 2016

Dependent types and multi-monadic effects in F.

Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Formal Verification of Smart Contracts: Short Paper.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Safe & Efficient Gradual Typing for TypeScript.

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Modular protections against non-control data attacks.

Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn

J. Comput. Secur., 2014

Polymonadic Programming.

Michael Hicks, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

Gradual typing embedded securely in JavaScript.

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Probabilistic relational verification for cryptographic implementations.

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Secure distributed programming with value-dependent types.

Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang

J. Funct. Program., 2013

Fully abstract compilation to JavaScript.

Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Verifying higher-order programs with the dijkstra monad.

Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Increasing human-tool interaction via the web.

Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.

Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Self-certification: bootstrapping certified typecheckers in F* with Coq.

Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Verified Security for Browser Extensions.

Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Verifying stateful programs with substructural state and hoare types.

Johannes Borgström, Juan Chen, Nikhil Swamy

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

Lightweight monadic programming in ML.

Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Type-preserving compilation of end-to-end verification of security enforcement.

Juan Chen, Ravi Chugh, Nikhil Swamy

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Enforcing Stateful Authorization and Information Flow Policies in Fine.

Nikhil Swamy, Juan Chen, Ravi Chugh

Proceedings of the Programming Languages and Systems, 2010

2009

Cross-tier, label-based security enforcement for web applications.

Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009

A theory of typed coercions and its applications.

Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Language-based Enforcement of User-defined Security Policies (As Applied to Multi-tier Web Programs).

Nikhil Swamy

PhD thesis, 2008

Verified enforcement of stateful information release policies.

Nikhil Swamy, Michael Hicks

ACM SIGPLAN Notices, 2008

Fable: A Language for Enforcing User-defined Security Policies.

Nikhil Swamy, Brian J. Corcoran, Michael Hicks

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Verified implementations of the information card federated identity-management protocol.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2007

Defeating script injection attacks with browser-enforced embedded policies.

Trevor Jim, Nikhil Swamy, Michael Hicks

Proceedings of the 16th International Conference on World Wide Web, 2007

2006

Safe manual memory management in Cyclone.

Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim

Sci. Comput. Program., 2006

Managing Policy Updates in Security-Typed Languages.

Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Dynamic inference of polymorphic lock types.

James Rose, Nikhil Swamy, Michael Hicks

Sci. Comput. Program., 2005

2004

Finding and Removing Performance Bottlenecks in Large Systems.

Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy

Proceedings of the ECOOP 2004, 2004

2003

RGL Study in a Hybrid Real-time System.

Ken Hennacy, Nikhil Swamy, Don Perlis

Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, 2003

1999

Finding a better-than-classical quantum AND/OR algorithm using genetic programming.

Lee Spector, Howard Barnum, Herbert J. Bernstein, Nikhil Swamy

Proceedings of the 1999 Congress on Evolutionary Computation, 1999