Pubblicazioni Conference proceedings (21) Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols Autori: Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan Pubblicato in: 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, Page(s) 356-370, ISBN 978-1-7281-1148-3 Editore: IEEE DOI: 10.1109/eurosp.2019.00034 Practical Formal Methods for Real World Cryptography (Invited Talk) Autori: Karthikeyan Bhargavan, Prasad Naldurg Pubblicato in: 39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India, 2019, Page(s) 1:1--1:12, ISBN 978-3-95977-131-3 Editore: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik DOI: 10.4230/lipics.fsttcs.2019.1 SoK: Computer-Aided Cryptography Autori: M. Barbosa and G. Barthe and K. Bhargavan and B. Blanchet and C. Cremers and K. Liao and B. Parno Pubblicato in: 2021 IEEE Symposium on Security and Privacy (SP), 2021, Page(s) 777-795 Editore: IEEE Computer Society DOI: 10.1109/sp40001.2021.00008 DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code Autori: Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Kuesters, Ralf and Schmitz, Guido and Wuertele, Tim Pubblicato in: EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, 2021 Editore: IEEE A modern compiler for the French tax code Autori: Denis Merigoux, Raphaël Monat, Jonathan Protzenko Pubblicato in: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021, Page(s) 71-82, ISBN 9781450383257 Editore: ACM DOI: 10.1145/3446804.3446850 EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider Autori: Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cedric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Beguelin Pubblicato in: 2020 IEEE Symposium on Security and Privacy (SP), 2020, Page(s) 983-1002, ISBN 978-1-7281-3497-0 Editore: IEEE DOI: 10.1109/sp40000.2020.00114 A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol Autori: Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan Pubblicato in: 2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, Page(s) 231-246, ISBN 978-1-7281-1148-3 Editore: IEEE DOI: 10.1109/eurosp.2019.00026 Content delivery over TLS: a cryptographic analysis of keyless SSL Autori: Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard Pubblicato in: 2017 IEEE European Symposium on Security and Privacy (EuroS&P), Issue April, 2017, 2017, Page(s) 1-16, ISBN 978-1-5090-5762-7 Editore: IEEE DOI: 10.1109/EuroSP.2017.52 Everest: Towards a Verified, Drop-in Replacement of HTTPS Autori: Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cedric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoue Pubblicato in: 2nd Summit on Advances in Programming Languages (SNAPL 2017), Issue 2017, 2017, Page(s) 1:1--1:12, ISBN 978-3-95977-032-3 Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.SNAPL.2017.1 Implementing and Proving the TLS 1.3 Record Layer Autori: Antoine Delignat-Lavaud, Cedric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Beguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue Pubblicato in: 2017 IEEE Symposium on Security and Privacy (SP), Issue May 2017, 2017, Page(s) 463-482, ISBN 978-1-5090-5533-3 Editore: IEEE DOI: 10.1109/SP.2017.58 HACL* - A Verified Modern Cryptographic Library Autori: Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche Pubblicato in: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17, Issue November 2017, 2017, Page(s) 1789-1806, ISBN 9781-450349468 Editore: ACM Press DOI: 10.1145/3133956.3134043 Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate Autori: Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi Pubblicato in: 2017 IEEE Symposium on Security and Privacy (SP), Issue May 2017, 2017, Page(s) 483-502, ISBN 978-1-5090-5533-3 Editore: IEEE DOI: 10.1109/SP.2017.26 On the Practical (In-)Security of 64-bit Block Ciphers - Collision Attacks on HTTP over TLS and OpenVPN Autori: Karthikeyan Bhargavan, Gaëtan Leurent Pubblicato in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16, Issue November 2016, 2016, Page(s) 456-467, ISBN 9781-450341394 Editore: ACM Press DOI: 10.1145/2976749.2978423 Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach Autori: Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet Pubblicato in: 2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, Page(s) 435-450, ISBN 978-1-5090-5762-7 Editore: IEEE DOI: 10.1109/EuroSP.2017.38 A Verified Extensible Library of Elliptic Curves Autori: Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan Pubblicato in: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016, Page(s) 296-309, ISBN 978-1-5090-2607-4 Editore: IEEE DOI: 10.1109/CSF.2016.28 Downgrade Resilience in Key-Exchange Protocols Autori: Karthikeyan Bhargavan, Christina Brzuska, Cedric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Beguelin Pubblicato in: 2016 IEEE Symposium on Security and Privacy (SP), 2016, Page(s) 506-525, ISBN 978-1-5090-0824-7 Editore: IEEE DOI: 10.1109/SP.2016.37 Formal Modeling and Verification for Domain Validation and ACME Autori: Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi Pubblicato in: Financial Cryptography and Data Security, 2017, Page(s) 561-578 Editore: Springer International Publishing DOI: 10.1007/978-3-319-70972-7_32 hacspec: Towards Verifiable Crypto Standards Autori: Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub Pubblicato in: Security Standardisation Research, 2018, Page(s) 1-20, ISBN 978-3-030-04761-0 Editore: Springer International Publishing DOI: 10.1007/978-3-030-04762-7_1 A Formal Treatment of Accountable Proxying Over TLS Autori: Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete Pubblicato in: 2018 IEEE Symposium on Security and Privacy (SP), 2018, Page(s) 799-816, ISBN 978-1-5386-4353-2 Editore: IEEE DOI: 10.1109/SP.2018.00021 HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms) Autori: Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin Pubblicato in: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Page(s) 899-918, ISBN 9781450370899 Editore: ACM DOI: 10.1145/3372297.3423352 Formally Verified Cryptographic Web Applications in WebAssembly Autori: Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan Pubblicato in: 2019 IEEE Symposium on Security and Privacy (SP), 2019, Page(s) 1256-1274, ISBN 978-1-5386-6660-9 Editore: IEEE DOI: 10.1109/sp.2019.00064 Book chapters (1) Analysing the HPKE Standard Autori: Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel Pubblicato in: Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17–21, 2021, Proceedings, Part I, Issue 12696, 2021, Page(s) 87-116, ISBN 978-3-030-77869-9 Editore: Springer International Publishing DOI: 10.1007/978-3-030-77870-5_4 Thesis dissertations (4) Une preuve cryptographique mécanisée du protocole de réseau privé virtuel WireGuard Autori: Lipp, Benjamin; Blanchet, Bruno; Bhargavan, Karthikeyan Pubblicato in: [Research Report] RR-9269, Inria Paris. 2019, pp.49, Issue 1, 2019 Editore: Inria Formal Verification for High Assurance Security Software in FStar: Application to communication protocols and cryptographic primitives Autori: Benjamin Beurdouche Pubblicato in: 2020 Editore: Université Paris Science et Lettres Secure, fast and verified cryptographic applications : a scalable approach Autori: Jean-Karim Zinzindohoué Pubblicato in: 2018 Editore: PSL Research University Formal Verification for Real-World Cryptographic Protocols and Implementations Autori: Nadim Kobeissi Pubblicato in: 2018 Editore: École Normale Supérieure Peer reviewed articles (4) Verified low-level programming embedded in F* Autori: Jonathan Protzenko, Cédric Fournet, Nikhil Swamy, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan Pubblicato in: Proceedings of the ACM on Programming Languages, Issue 1/ICFP, 2017, Page(s) 1-29, ISSN 2475-1421 Editore: ACM DOI: 10.1145/3110261 A messy state of the union Autori: Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue Pubblicato in: Communications of the ACM, Issue 60/2, 2017, Page(s) 99-107, ISSN 0001-0782 Editore: Association for Computing Machinary, Inc. DOI: 10.1145/3023357 miTLS: Verifying Protocol Implementations against Real-World Attacks Autori: Karthikeyan Bhargavan, Cedric Fournet, Markulf Kohlweiss Pubblicato in: IEEE Security & Privacy, Issue 14/6, 2016, Page(s) 18-25, ISSN 1540-7993 Editore: IEEE Computer Society DOI: 10.1109/MSP.2016.123 SteelCore: an extensible concurrent separation logic for effectful dependently typed programs Autori: Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez Pubblicato in: Proceedings of the ACM on Programming Languages, Issue 4/ICFP, 2020, Page(s) 1-30, ISSN 2475-1421 Editore: ACM DOI: 10.1145/3409003 Non-peer reviewed articles (1) Imperfect forward secrecy Autori: David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella-Béguelin, Paul Zimmermann Pubblicato in: Communications of the ACM, Issue 62/1, 2018, Page(s) 106-114, ISSN 0001-0782 Editore: Association for Computing Machinary, Inc. DOI: 10.1145/3292035 Other (1) Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS Autori: Karthikeyan Bhargavan, Benjamin Beurdouche, Prasad Naldurg Pubblicato in: 2019 Editore: INRIA È in corso la ricerca di dati su OpenAIRE... Si è verificato un errore durante la ricerca dei dati su OpenAIRE Nessun risultato disponibile
