Nikhil Swamy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
13
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE. | Tahina Ramananandro, Gabriel Ebner, Guido Martnez, Nikhil Swamy |
| 2025 | ICSE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. | Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy |
| 2025 | ICSE | 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. | Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy |
| 2023 | CPP | 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 |
| 2023 | CPP | ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. | Haobin Ni, Antoine Delignat-Lavaud, Cdric Fournet, Tahina Ramananandro, Nikhil Swamy |
| 2023 | EMNLP | 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 |
| 2022 | PLDI | 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 |
| 2021 | SIGMOD | 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 |
| 2020 | SP | 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, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | ESOP | Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. | Guido Martnez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clment Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
| 2018 | CPP | A monadic framework for relational verification: applied to information security, program equivalence, and optimizations. | Niklas Grimm, Kenji Maillard, Cdric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2017 | POPL | Dijkstra monads for free. | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martnez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2015 | POPL | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2014 | POPL | Probabilistic relational verification for cryptographic implementations. | Gilles Barthe, Cdric Fournet, Benjamin Grgoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2014 | POPL | Gradual typing embedded securely in JavaScript. | Nikhil Swamy, Cdric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman |
| 2013 | PLDI | Verifying higher-order programs with the dijkstra monad. | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits |
| 2013 | POPL | Fully abstract compilation to JavaScript. | Cdric Fournet, Nikhil Swamy, Juan Chen, Pierre-variste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2012 | POPL | Self-certification: bootstrapping certified typecheckers in F* with Coq. | Pierre-Yves Strub, Nikhil Swamy, Cdric Fournet, Juan Chen |
| 2011 | ICFP | Secure distributed programming with value-dependent types. | Nikhil Swamy, Juan Chen, Cdric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
| 2011 | ICFP | Lightweight monadic programming in ML. | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |
| 2011 | SP | Verified Security for Browser Extensions. | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
| 2010 | ESOP | Enforcing Stateful Authorization and Information Flow Policies in Fine. | Nikhil Swamy, Juan Chen, Ravi Chugh |
| 2010 | PLDI | Type-preserving compilation of end-to-end verification of security enforcement. | Juan Chen, Ravi Chugh, Nikhil Swamy |
| 2009 | ICFP | A theory of typed coercions and its applications. | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
| 2009 | SIGMOD | Cross-tier, label-based security enforcement for web applications. | Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks |
| 2008 | CCS | Verified implementations of the information card federated identity-management protocol. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon, Nikhil Swamy |
| 2008 | PLDI | Verified enforcement of stateful information release policies. | Nikhil Swamy, Michael Hicks |
| 2008 | SP | Fable: A Language for Enforcing User-defined Security Policies. | Nikhil Swamy, Brian J. Corcoran, Michael Hicks |
| 2007 | WWW | Defeating script injection attacks with browser-enforced embedded policies. | Trevor Jim, Nikhil Swamy, Michael Hicks |
| 2004 | ECOOP | Finding and Removing Performance Bottlenecks in Large Systems. | Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy |
| 1999 | CEC | Finding a better-than-classical quantum AND/OR algorithm using genetic programming. | Lee Spector, Howard Barnum, Herbert J. Bernstein, Nikhil Swamy |