default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nikhil Swamy
@article{DBLP:journals/corr/abs-2404-10362,
author = {Sarah Fakhoury and
Markus Kuppe and
Shuvendu K. Lahiri and
Tahina Ramananandro and
Nikhil Swamy},
title = {3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers},
journal = {CoRR},
volume = {abs/2404.10362},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.10362},
doi = {10.48550/ARXIV.2404.10362},
eprinttype = {arXiv},
eprint = {2404.10362},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-10362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-01787,
author = {Saikat Chakraborty and
Gabriel Ebner and
Siddharth Bhat and
Sarah Fakhoury and
Sakina Fatima and
Shuvendu K. Lahiri and
Nikhil Swamy},
title = {Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming},
journal = {CoRR},
volume = {abs/2405.01787},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.01787},
doi = {10.48550/ARXIV.2405.01787},
eprinttype = {arXiv},
eprint = {2405.01787},
timestamp = {Sun, 09 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-01787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ArasuRRSFHPR23,
author = {Arvind Arasu and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Aymeric Fromherz and
Kesha Hietala and
Bryan Parno and
Ravi Ramamurthy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {FastVer2: {A} Provably Correct Monitor for Concurrent, Key-Value Stores},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {30--46},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575687},
doi = {10.1145/3573105.3575687},
timestamp = {Fri, 13 Jan 2023 13:03:25 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ArasuRRSFHPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/NiDFRS23,
author = {Haobin Ni and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Nikhil Swamy},
editor = {Robbert Krebbers and
Dmitriy Traytel and
Brigitte Pientka and
Steve Zdancewic},
title = {ASN1*: Provably Correct, Non-malleable Parsing for {ASN.1} {DER}},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2023, Boston, MA, USA, January
16-17, 2023},
pages = {275--289},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3573105.3575684},
doi = {10.1145/3573105.3575684},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/NiDFRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ChakrabortyLFLM23,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Akash Lal and
Madanlal Musuvathi and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2023, Singapore, December 6-10, 2023},
pages = {9164--9175},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-emnlp.614},
doi = {10.18653/V1/2023.FINDINGS-EMNLP.614},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ChakrabortyLFLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09342,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Madanlal Musuvathi and
Akash Lal and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
journal = {CoRR},
volume = {abs/2310.09342},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09342},
doi = {10.48550/ARXIV.2310.09342},
eprinttype = {arXiv},
eprint = {2310.09342},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SwamyRRSNMVTCG22,
author = {Nikhil Swamy and
Tahina Ramananandro and
Aseem Rastogi and
Irina Spiridonova and
Haobin Ni and
Dmitry Malloy and
Juan Vazquez and
Michael Tang and
Omar Cardona and
Arti Gupta},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Hardening attack surfaces with formally proven binary format parsers},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {31--45},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523708},
doi = {10.1145/3519939.3523708},
timestamp = {Fri, 03 Jun 2022 08:25:37 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SwamyRRSNMVTCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FromherzRSGMMR21,
author = {Aymeric Fromherz and
Aseem Rastogi and
Nikhil Swamy and
Sydney Gibson and
Guido Mart{\'{\i}}nez and
Denis Merigoux and
Tahina Ramananandro},
title = {Steel: proof-oriented programming in a dependently typed concurrent
separation logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3473590},
doi = {10.1145/3473590},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FromherzRSGMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ArasuCGGKPRRRSS21,
author = {Arvind Arasu and
Badrish Chandramouli and
Johannes Gehrke and
Esha Ghosh and
Donald Kossmann and
Jonathan Protzenko and
Ravi Ramamurthy and
Tahina Ramananandro and
Aseem Rastogi and
Srinath T. V. Setty and
Nikhil Swamy and
Alexander van Renen and
Min Xu},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {FastVer: Making Data Integrity a Commodity},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {89--101},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3457312},
doi = {10.1145/3448016.3457312},
timestamp = {Mon, 21 Jun 2021 11:48:16 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/ArasuCGGKPRRRSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-15149,
author = {Nikhil Swamy and
Aseem Rastogi and
Aymeric Fromherz and
Denis Merigoux and
Danel Ahman and
Guido Mart{\'{\i}}nez},
title = {SteelCore: An Extensible Concurrent Separation Logic for Effectful
Dependently Typed Programs},
journal = {CoRR},
volume = {abs/2111.15149},
year = {2021},
url = {https://arxiv.org/abs/2111.15149},
eprinttype = {arXiv},
eprint = {2111.15149},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-15149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SwamyRFMAM20,
author = {Nikhil Swamy and
Aseem Rastogi and
Aymeric Fromherz and
Denis Merigoux and
Danel Ahman and
Guido Mart{\'{\i}}nez},
title = {SteelCore: an extensible concurrent separation logic for effectful
dependently typed programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {121:1--121:30},
year = {2020},
url = {https://doi.org/10.1145/3409003},
doi = {10.1145/3409003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SwamyRFMAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ProtzenkoPFHPBB20,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Natalia Kulatova and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {983--1002},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00114},
doi = {10.1109/SP40000.2020.00114},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FromherzGHPRS19,
author = {Aymeric Fromherz and
Nick Giannarakis and
Chris Hawblitzel and
Bryan Parno and
Aseem Rastogi and
Nikhil Swamy},
title = {A verified, efficient embedding of a verifiable assembly language},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {63:1--63:30},
year = {2019},
url = {https://doi.org/10.1145/3290376},
doi = {10.1145/3290376},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FromherzGHPRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MartinezADGHHNP19,
author = {Guido Mart{\'{\i}}nez and
Danel Ahman and
Victor Dumitrescu and
Nick Giannarakis and
Chris Hawblitzel and
Catalin Hritcu and
Monal Narasimhamurthy and
Zoe Paraskevopoulou and
Cl{\'{e}}ment Pit{-}Claudel and
Jonathan Protzenko and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy},
editor = {Lu{\'{\i}}s Caires},
title = {Meta-F {\^{}}{\textbackslash}star : Proof Automation with SMT, Tactics,
and Metaprograms},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {30--59},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_2},
doi = {10.1007/978-3-030-17184-1\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MartinezADGHHNP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/RastogiSH19,
author = {Aseem Rastogi and
Nikhil Swamy and
Michael Hicks},
editor = {Flemming Nielson and
David Sands},
title = {Wys*: {A} {DSL} for Verified Secure Multi-party Computations},
booktitle = {Principles of Security and Trust - 8th International Conference, {POST}
2019, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11426},
pages = {99--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17138-4\_5},
doi = {10.1007/978-3-030-17138-4\_5},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/RastogiSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/RamananandroDFS19,
author = {Tahina Ramananandro and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Nikhil Swamy and
Tej Chajed and
Nadim Kobeissi and
Jonathan Protzenko},
editor = {Nadia Heninger and
Patrick Traynor},
title = {EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message
Formats},
booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
CA, USA, August 14-16, 2019},
pages = {1465--1482},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/usenixsecurity19/presentation/delignat-lavaud},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/RamananandroDFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ProtzenkoPFHPBB19,
author = {Jonathan Protzenko and
Bryan Parno and
Aymeric Fromherz and
Chris Hawblitzel and
Marina Polubelova and
Karthikeyan Bhargavan and
Benjamin Beurdouche and
Joonwon Choi and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Christoph M. Wintersteiger and
Santiago Zanella B{\'{e}}guelin},
title = {EverCrypt: {A} Fast, Verified, Cross-Platform Cryptographic Provider},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {757},
year = {2019},
url = {https://eprint.iacr.org/2019/757},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AhmanFHMRS18,
author = {Danel Ahman and
C{\'{e}}dric Fournet and
Catalin Hritcu and
Kenji Maillard and
Aseem Rastogi and
Nikhil Swamy},
title = {Recalling a witness: foundations and applications of monotonic state},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {65:1--65:30},
year = {2018},
url = {https://doi.org/10.1145/3158153},
doi = {10.1145/3158153},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AhmanFHMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/GrimmMFHMPRRSB18,
author = {Niklas Grimm and
Kenji Maillard and
C{\'{e}}dric Fournet and
Catalin Hritcu and
Matteo Maffei and
Jonathan Protzenko and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin},
editor = {June Andronick and
Amy P. Felty},
title = {A monadic framework for relational verification: applied to information
security, program equivalence, and optimizations},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {130--145},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167090},
doi = {10.1145/3167090},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/GrimmMFHMPRRSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06547,
author = {Guido Mart{\'{\i}}nez and
Danel Ahman and
Victor Dumitrescu and
Nick Giannarakis and
Chris Hawblitzel and
Catalin Hritcu and
Monal Narasimhamurthy and
Zoe Paraskevopoulou and
Cl{\'{e}}ment Pit{-}Claudel and
Jonathan Protzenko and
Tahina Ramananandro and
Aseem Rastogi and
Nikhil Swamy},
title = {Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier},
journal = {CoRR},
volume = {abs/1803.06547},
year = {2018},
url = {http://arxiv.org/abs/1803.06547},
eprinttype = {arXiv},
eprint = {1803.06547},
timestamp = {Mon, 28 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ProtzenkoZRRWBD17,
author = {Jonathan Protzenko and
Jean Karim Zinzindohou{\'{e}} and
Aseem Rastogi and
Tahina Ramananandro and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Antoine Delignat{-}Lavaud and
Catalin Hritcu and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Nikhil Swamy},
title = {Verified low-level programming embedded in {F}},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {17:1--17:29},
year = {2017},
url = {https://doi.org/10.1145/3110261},
doi = {10.1145/3110261},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ProtzenkoZRRWBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AhmanHMMPPRS17,
author = {Danel Ahman and
Catalin Hritcu and
Kenji Maillard and
Guido Mart{\'{\i}}nez and
Gordon D. Plotkin and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Dijkstra monads for free},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {515--529},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009878},
doi = {10.1145/3009837.3009878},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/AhmanHMMPPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
author = {Karthikeyan Bhargavan and
Barry Bond and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Chris Hawblitzel and
Catalin Hritcu and
Samin Ishtiaq and
Markulf Kohlweiss and
K. Rustan M. Leino and
Jay R. Lorch and
Kenji Maillard and
Jianyang Pan and
Bryan Parno and
Jonathan Protzenko and
Tahina Ramananandro and
Ashay Rane and
Aseem Rastogi and
Nikhil Swamy and
Laure Thompson and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {1:1--1:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
doi = {10.4230/LIPICS.SNAPL.2017.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/BhargavanBDFHHI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Delignat-Lavaud17,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin and
Karthikeyan Bhargavan and
Jianyang Pan and
Jean Karim Zinzindohoue},
title = {Implementing and Proving the {TLS} 1.3 Record Layer},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {463--482},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.58},
doi = {10.1109/SP.2017.58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/Delignat-Lavaud17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhargavanDFHPRR17,
author = {Jonathan Protzenko and
Jean Karim Zinzindohou{\'{e}} and
Aseem Rastogi and
Tahina Ramananandro and
Peng Wang and
Santiago Zanella B{\'{e}}guelin and
Antoine Delignat{-}Lavaud and
Catalin Hritcu and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Nikhil Swamy},
title = {Verified Low-Level Programming Embedded in F\({}^{\mbox{*}}\)},
journal = {CoRR},
volume = {abs/1703.00053},
year = {2017},
url = {http://arxiv.org/abs/1703.00053},
eprinttype = {arXiv},
eprint = {1703.00053},
timestamp = {Thu, 19 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BhargavanDFHPRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrimmMFHMPRSB17,
author = {Niklas Grimm and
Kenji Maillard and
C{\'{e}}dric Fournet and
Catalin Hritcu and
Matteo Maffei and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin},
title = {A Monadic Framework for Relational Verification (Functional Pearl)},
journal = {CoRR},
volume = {abs/1703.00055},
year = {2017},
url = {http://arxiv.org/abs/1703.00055},
eprinttype = {arXiv},
eprint = {1703.00055},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrimmMFHMPRSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmanFHMRS17,
author = {Danel Ahman and
C{\'{e}}dric Fournet and
Catalin Hritcu and
Kenji Maillard and
Aseem Rastogi and
Nikhil Swamy},
title = {Recalling a Witness: Foundations and Applications of Monotonic State},
journal = {CoRR},
volume = {abs/1707.02466},
year = {2017},
url = {http://arxiv.org/abs/1707.02466},
eprinttype = {arXiv},
eprint = {1707.02466},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AhmanFHMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06467,
author = {Aseem Rastogi and
Nikhil Swamy and
Michael Hicks},
title = {WYS*: {A} Verified Language Extension for Secure Multi-party Computations},
journal = {CoRR},
volume = {abs/1711.06467},
year = {2017},
url = {http://arxiv.org/abs/1711.06467},
eprinttype = {arXiv},
eprint = {1711.06467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-06467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BhargavanDFGGKK16,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Anitha Gollamudi and
Georges Gonthier and
Nadim Kobeissi and
Natalia Kulatova and
Aseem Rastogi and
Thomas Sibut{-}Pinote and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin},
editor = {Toby C. Murray and
Deian Stefan},
title = {Formal Verification of Smart Contracts: Short Paper},
booktitle = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
2016},
pages = {91--96},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993600.2993611},
doi = {10.1145/2993600.2993611},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,
author = {Nikhil Swamy and
Catalin Hritcu and
Chantal Keller and
Aseem Rastogi and
Antoine Delignat{-}Lavaud and
Simon Forest and
Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Markulf Kohlweiss and
Jean Karim Zinzindohoue and
Santiago Zanella B{\'{e}}guelin},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Dependent types and multi-monadic effects in {F}},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {256--270},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837655},
doi = {10.1145/2837614.2837655},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AhmanHMPPRS16,
author = {Danel Ahman and
Catalin Hritcu and
Guido Mart{\'{\i}}nez and
Gordon D. Plotkin and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy},
title = {Dijkstra Monads for Free},
journal = {CoRR},
volume = {abs/1608.06499},
year = {2016},
url = {http://arxiv.org/abs/1608.06499},
eprinttype = {arXiv},
eprint = {1608.06499},
timestamp = {Mon, 28 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AhmanHMPPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BhargavanDFKPPR16,
author = {Karthikeyan Bhargavan and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Markulf Kohlweiss and
Jianyang Pan and
Jonathan Protzenko and
Aseem Rastogi and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin and
Jean Karim Zinzindohoue},
title = {Implementing and Proving the {TLS} 1.3 Record Layer},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1178},
year = {2016},
url = {http://eprint.iacr.org/2016/1178},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BhargavanDFKPPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RastogiSFBV15,
author = {Aseem Rastogi and
Nikhil Swamy and
C{\'{e}}dric Fournet and
Gavin M. Bierman and
Panagiotis Vekris},
editor = {Sriram K. Rajamani and
David Walker},
title = {Safe {\&} Efficient Gradual Typing for TypeScript},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {167--180},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676971},
doi = {10.1145/2676726.2676971},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/RastogiSFBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SchlesingerPSWZ14,
author = {Cole Schlesinger and
Karthik Pattabiraman and
Nikhil Swamy and
David Walker and
Benjamin G. Zorn},
title = {Modular protections against non-control data attacks},
journal = {J. Comput. Secur.},
volume = {22},
number = {5},
pages = {699--742},
year = {2014},
url = {https://doi.org/10.3233/JCS-140502},
doi = {10.3233/JCS-140502},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SchlesingerPSWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheFGSSB14,
author = {Gilles Barthe and
C{\'{e}}dric Fournet and
Benjamin Gr{\'{e}}goire and
Pierre{-}Yves Strub and
Nikhil Swamy and
Santiago Zanella B{\'{e}}guelin},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Probabilistic relational verification for cryptographic implementations},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {193--206},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535847},
doi = {10.1145/2535838.2535847},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SwamyFRBCSB14,
author = {Nikhil Swamy and
C{\'{e}}dric Fournet and
Aseem Rastogi and
Karthikeyan Bhargavan and
Juan Chen and
Pierre{-}Yves Strub and
Gavin M. Bierman},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Gradual typing embedded securely in JavaScript},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {425--438},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535889},
doi = {10.1145/2535838.2535889},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SwamyFRBCSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HicksBGLS14,
author = {Michael Hicks and
Gavin M. Bierman and
Nataliya Guts and
Daan Leijen and
Nikhil Swamy},
editor = {Paul Blain Levy and
Neel Krishnaswami},
title = {Polymonadic Programming},
booktitle = {Proceedings 5th Workshop on Mathematically Structured Functional Programming,
MSFP@ETAPS 2014, Grenoble, France, 12 April 2014},
series = {{EPTCS}},
volume = {153},
pages = {79--99},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.153.7},
doi = {10.4204/EPTCS.153.7},
timestamp = {Wed, 29 Sep 2021 08:56:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HicksBGLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwamyCFSBY13,
author = {Nikhil Swamy and
Juan Chen and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Karthikeyan Bhargavan and
Jean Yang},
title = {Secure distributed programming with value-dependent types},
journal = {J. Funct. Program.},
volume = {23},
number = {4},
pages = {402--451},
year = {2013},
url = {https://doi.org/10.1017/S0956796813000142},
doi = {10.1017/S0956796813000142},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwamyCFSBY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/JeanninCCGNS13,
author = {Jean{-}Baptiste Jeannin and
Guido de Caso and
Juan Chen and
Yuri Gurevich and
Prasad Naldurg and
Nikhil Swamy},
editor = {Jan J{\"{u}}rjens and
Benjamin Livshits and
Riccardo Scandariato},
title = {dkal {\(\star\)} : Constructing Executable Specifications of Authorization
Protocols},
booktitle = {Engineering Secure Software and Systems - 5th International Symposium,
ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7781},
pages = {139--154},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36563-8\_10},
doi = {10.1007/978-3-642-36563-8\_10},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/JeanninCCGNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/BallHSL13,
author = {Thomas Ball and
Peli de Halleux and
Nikhil Swamy and
Daan Leijen},
editor = {Stephen N. Freund and
Corina S. Pasareanu},
title = {Increasing human-tool interaction via the web},
booktitle = {{ACM} {SIGPLAN-SIGSOFT} Workshop on Program Analysis for Software
Tools and Engineering, {PASTE} '13, Seattle, WA, USA, June 20, 2013},
pages = {49--52},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462029.2462031},
doi = {10.1145/2462029.2462031},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/BallHSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SwamyWSCL13,
author = {Nikhil Swamy and
Joel Weinberger and
Cole Schlesinger and
Juan Chen and
Benjamin Livshits},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Verifying higher-order programs with the dijkstra monad},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {387--398},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491978},
doi = {10.1145/2491956.2491978},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SwamyWSCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FournetSCDSL13,
author = {C{\'{e}}dric Fournet and
Nikhil Swamy and
Juan Chen and
Pierre{-}{\'{E}}variste Dagand and
Pierre{-}Yves Strub and
Benjamin Livshits},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Fully abstract compilation to JavaScript},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {371--384},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429114},
doi = {10.1145/2429069.2429114},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013plas,
editor = {Prasad Naldurg and
Nikhil Swamy},
title = {Proceedings of the 2013 {ACM} {SIGPLAN} Workshop on Programming Languages
and Analysis for Security, {PLAS} 2013, Seattle, WA, USA, June 20,
2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2465106},
isbn = {978-1-4503-2144-0},
timestamp = {Thu, 22 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2013plas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StrubSFC12,
author = {Pierre{-}Yves Strub and
Nikhil Swamy and
C{\'{e}}dric Fournet and
Juan Chen},
editor = {John Field and
Michael Hicks},
title = {Self-certification: bootstrapping certified typecheckers in F* with
Coq},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {571--584},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103723},
doi = {10.1145/2103656.2103723},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/StrubSFC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2012,
editor = {Koen Claessen and
Nikhil Swamy},
title = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
publisher = {{ACM}},
year = {2012},
isbn = {978-1-4503-1125-0},
timestamp = {Fri, 27 Jan 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plpv/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/SchlesingerPSWZ11,
author = {Cole Schlesinger and
Karthik Pattabiraman and
Nikhil Swamy and
David Walker and
Benjamin G. Zorn},
title = {Modular Protections against Non-control Data Attacks},
booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
{CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
pages = {131--145},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSF.2011.16},
doi = {10.1109/CSF.2011.16},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/SchlesingerPSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyGLH11,
author = {Nikhil Swamy and
Nataliya Guts and
Daan Leijen and
Michael Hicks},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Lightweight monadic programming in {ML}},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {15--27},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034778},
doi = {10.1145/2034773.2034778},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwamyGLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyCFSBY11,
author = {Nikhil Swamy and
Juan Chen and
C{\'{e}}dric Fournet and
Pierre{-}Yves Strub and
Karthikeyan Bhargavan and
Jean Yang},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Secure distributed programming with value-dependent types},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {266--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034811},
doi = {10.1145/2034773.2034811},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwamyCFSBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/BorgstromCS11,
author = {Johannes Borgstr{\"{o}}m and
Juan Chen and
Nikhil Swamy},
editor = {Ranjit Jhala and
Wouter Swierstra},
title = {Verifying stateful programs with substructural state and hoare types},
booktitle = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
pages = {15--26},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929529.1929532},
doi = {10.1145/1929529.1929532},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/BorgstromCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GuhaFLS11,
author = {Arjun Guha and
Matthew Fredrikson and
Benjamin Livshits and
Nikhil Swamy},
title = {Verified Security for Browser Extensions},
booktitle = {32nd {IEEE} Symposium on Security and Privacy, {SP} 2011, 22-25 May
2011, Berkeley, California, {USA}},
pages = {115--130},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SP.2011.36},
doi = {10.1109/SP.2011.36},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/GuhaFLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SwamyCC10,
author = {Nikhil Swamy and
Juan Chen and
Ravi Chugh},
editor = {Andrew D. Gordon},
title = {Enforcing Stateful Authorization and Information Flow Policies in
Fine},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {529--549},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_28},
doi = {10.1007/978-3-642-11957-6\_28},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/SwamyCC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenCS10,
author = {Juan Chen and
Ravi Chugh and
Nikhil Swamy},
editor = {Benjamin G. Zorn and
Alex Aiken},
title = {Type-preserving compilation of end-to-end verification of security
enforcement},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {412--423},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806643},
doi = {10.1145/1806596.1806643},
timestamp = {Mon, 22 Jul 2024 10:17:08 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChenCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwamyHB09,
author = {Nikhil Swamy and
Michael W. Hicks and
Gavin M. Bierman},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {A theory of typed coercions and its applications},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {329--340},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596598},
doi = {10.1145/1596550.1596598},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwamyHB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/CorcoranSH09,
author = {Brian J. Corcoran and
Nikhil Swamy and
Michael W. Hicks},
editor = {Ugur {\c{C}}etintemel and
Stanley B. Zdonik and
Donald Kossmann and
Nesime Tatbul},
title = {Cross-tier, label-based security enforcement for web applications},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2009, Providence, Rhode Island, USA, June 29 - July
2, 2009},
pages = {269--282},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1559845.1559875},
doi = {10.1145/1559845.1559875},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/CorcoranSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Swamy08,
author = {Nikhil Swamy},
title = {Language-based Enforcement of User-defined Security Policies (As Applied
to Multi-tier Web Programs)},
school = {University of Maryland, College Park, MD, {USA}},
year = {2008},
url = {https://hdl.handle.net/1903/8622},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Swamy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SwamyH08,
author = {Nikhil Swamy and
Michael Hicks},
title = {Verified enforcement of stateful information release policies},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {12},
pages = {21--31},
year = {2008},
url = {https://doi.org/10.1145/1513443.1513448},
doi = {10.1145/1513443.1513448},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/SwamyH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BhargavanFGS08,
author = {Karthikeyan Bhargavan and
C{\'{e}}dric Fournet and
Andrew D. Gordon and
Nikhil Swamy},
editor = {Masayuki Abe and
Virgil D. Gligor},
title = {Verified implementations of the information card federated identity-management
protocol},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2008, Tokyo, Japan, March 18-20,
2008},
pages = {123--135},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368310.1368330},
doi = {10.1145/1368310.1368330},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BhargavanFGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SwamyH08,
author = {Nikhil Swamy and
Michael Hicks},
editor = {{\'{U}}lfar Erlingsson and
Marco Pistoia},
title = {Verified enforcement of stateful information release policies},
booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2008, Tucson, AZ, USA, June 8, 2008},
pages = {21--32},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375696.1375700},
doi = {10.1145/1375696.1375700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SwamyH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SwamyCH08,
author = {Nikhil Swamy and
Brian J. Corcoran and
Michael Hicks},
title = {Fable: {A} Language for Enforcing User-defined Security Policies},
booktitle = {2008 {IEEE} Symposium on Security and Privacy {(SP} 2008), 18-21 May
2008, Oakland, California, {USA}},
pages = {369--383},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SP.2008.29},
doi = {10.1109/SP.2008.29},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/SwamyCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/JimSH07,
author = {Trevor Jim and
Nikhil Swamy and
Michael Hicks},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Defeating script injection attacks with browser-enforced embedded
policies},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {601--610},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242654},
doi = {10.1145/1242572.1242654},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/JimSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SwamyHMGJ06,
author = {Nikhil Swamy and
Michael W. Hicks and
Greg Morrisett and
Dan Grossman and
Trevor Jim},
title = {Safe manual memory management in Cyclone},
journal = {Sci. Comput. Program.},
volume = {62},
number = {2},
pages = {122--144},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2006.02.003},
doi = {10.1016/J.SCICO.2006.02.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SwamyHMGJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/SwamyHTZ06,
author = {Nikhil Swamy and
Michael Hicks and
Stephen Tse and
Steve Zdancewic},
title = {Managing Policy Updates in Security-Typed Languages},
booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006),
5-7 July 2006, Venice, Italy},
pages = {202--216},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSFW.2006.17},
doi = {10.1109/CSFW.2006.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/SwamyHTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/RoseSH05,
author = {James Rose and
Nikhil Swamy and
Michael Hicks},
title = {Dynamic inference of polymorphic lock types},
journal = {Sci. Comput. Program.},
volume = {58},
number = {3},
pages = {366--383},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.03.003},
doi = {10.1016/J.SCICO.2005.03.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/RoseSH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AmmonsCGS04,
author = {Glenn Ammons and
Jong{-}Deok Choi and
Manish Gupta and
Nikhil Swamy},
editor = {Martin Odersky},
title = {Finding and Removing Performance Bottlenecks in Large Systems},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {170--194},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_8},
doi = {10.1007/978-3-540-24851-4\_8},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AmmonsCGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nci/HennacySP03,
author = {Ken Hennacy and
Nikhil Swamy and
Don Perlis},
title = {{RGL} Study in a Hybrid Real-time System},
booktitle = {Proceedings of the {IASTED} International Conference on Neural Networks
and Computational Intelligence, {NCI} 2003, May 19-21, 2003, Cancun,
Mexico},
pages = {203--208},
publisher = {{IASTED/ACTA} Press},
year = {2003},
timestamp = {Wed, 22 Nov 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nci/HennacySP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/SpectorBBS99,
author = {Lee Spector and
Howard Barnum and
Herbert J. Bernstein and
Nikhil Swamy},
title = {Finding a better-than-classical quantum {AND/OR} algorithm using genetic
programming},
booktitle = {Proceedings of the 1999 Congress on Evolutionary Computation, {CEC}
1999, Washington, DC, {USA} July 6-9, 1999},
pages = {2239--2246},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/CEC.1999.785553},
doi = {10.1109/CEC.1999.785553},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/SpectorBBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-10 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
