Zobrazeno 1 - 10
of 84
pro vyhledávání: '"Karthikeyan Bhargavan"'
Autor:
Quoc Huy Do, Guido Schmitz, Abhishek Bichhawat, Karthikeyan Bhargavan, Pedram Hosseyni, Tim Würtele, Ralf Küsters
Publikováno v:
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2601-2617, ⟨10.1145/3460120.3484588⟩
CCS
CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2601-2617, ⟨10.1145/3460120.3484588⟩
CCS
The ACME certificate issuance and management protocol, standardized as IETF RFC 8555, is an essential element of the web public key infrastructure (PKI). It has been used by Let's Encrypt and other certification authorities to issue over a billion ce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7106bdbd0cba63800f37ccbc276ba101
https://inria.hal.science/hal-03540403
https://inria.hal.science/hal-03540403
Autor:
Quoc Huy Do, Abhishek Bichhawat, Karthikeyan Bhargavan, Guido Schmitz, Ralf Küsters, Pedram Hosseyni, Tim Würtele
Publikováno v:
2021 IEEE European Symposium on Security and Privacy (EuroS&P).
We present $\text{DY}^{\star}$ , a new formal verification framework for the symbolic security analysis of cryptographic protocol code written in the $\mathrm{F}^{\star}$ programming language. Unlike automated symbolic provers, our framework accounts
Autor:
Gilles Barthe, Karthikeyan Bhargavan, Bryan Parno, Bruno Blanchet, Kevin Liao, Manuel Barbosa, Cas Cremers
Publikováno v:
SP 2021-42nd IEEE Symposium on Security and Privacy
SP 2021-42nd IEEE Symposium on Security and Privacy, May 2021, Virtual Conference, United States
2021 IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy
SP 2021-42nd IEEE Symposium on Security and Privacy, May 2021, Virtual Conference, United States
2021 IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy
International audience; Computer-aided cryptography is an active area of research that develops and applies formal, machine-checkable approaches to the design, analysis, and implementation of cryptography. We present a cross-cutting systematization o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d080f72de531ce79a971582fc9fa0f1
https://inria.hal.science/hal-03046757/document
https://inria.hal.science/hal-03046757/document
Publikováno v:
[Technical Report] Inria. 2021
HAL
HAL
Despite significant progress in the formal verification of security-critical components like cryptographic libraries and protocols, the secure integration of these components into larger unverified applications remains an open challenge. The first pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30cc239fd5c6c6258ed99b73a59e4e72
https://hal.inria.fr/hal-03176482
https://hal.inria.fr/hal-03176482
Autor:
Ralf Küsters, Quoc Huy Do, Tim Würtele, Guido Schmitz, Pedram Hosseyni, Karthikeyan Bhargavan, Abhishek Bichhawat
Publikováno v:
Protocols, Strands, and Logic ISBN: 9783030916305
Protocols, Strands, and Logic
Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.77-97, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_4⟩
Protocols, Strands, and Logic
Daniel Dougherty; José Meseguer; Sebastian Alexander Mödersheim; Paul Rowe. Protocols, Strands, and Logic, 13066, Springer International Publishing, pp.77-97, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91631-2_4⟩
\(\textsf {DY}^\star \) is a recently proposed formal verification framework for the symbolic security analysis of cryptographic protocol code written in the \(\textsf {F}^\star \) programming language. Unlike automated symbolic provers, \(\textsf {D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c9a3ee19294d8e02a7f29ad4f772cb0e
https://doi.org/10.1007/978-3-030-91631-2_4
https://doi.org/10.1007/978-3-030-91631-2_4
Autor:
Nikhil Swamy, Antoine Delignat-Lavaud, Jonathan Protzenko, Joonwon Choi, Bryan Parno, Christoph M. Wintersteiger, Chris Hawblitzel, Aseem Rastogi, Natalia Kulatova, Aymeric Fromherz, Marina Polubelova, Santiago Zanella-Béguelin, Tahina Ramananandro, Karthikeyan Bhargavan, Benjamin Beurdouche, Cédric Fournet
Publikováno v:
SP 2020-IEEE Symposium on Security and Privacy
SP 2020-IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
IEEE Symposium on Security and Privacy
2020 IEEE Symposium on Security and Privacy (SP)
SP 2020-IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.983-1002, ⟨10.1109/SP40000.2020.00114⟩
IEEE Symposium on Security and Privacy
2020 IEEE Symposium on Security and Privacy (SP)
International audience; We present EverCrypt: a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. The API provably supports agility (choosing between multiple algorithms for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b754b12d09129b9fb446c4bb80a284b0
https://inria.hal.science/hal-03154278
https://inria.hal.science/hal-03154278
Publikováno v:
4th IEEE European Symposium on Security and Privacy
4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
[Research Report] RR-9269, Inria Paris. 2019, pp.49
2019 IEEE European Symposium on Security and Privacy (EuroS&P)
EuroS&P
[Research Report] RR-9269, Inria Paris. 2019, pp.50
4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
[Research Report] RR-9269, Inria Paris. 2019, pp.49
2019 IEEE European Symposium on Security and Privacy (EuroS&P)
EuroS&P
[Research Report] RR-9269, Inria Paris. 2019, pp.50
WireGuard is a free and open source Virtual Private Network (VPN) that aims to replace IPsec and OpenVPN. It is based on a new cryptographic protocol derived from the Noise Protocol Framework. This paper presents the first mechanised cryptographic pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f49d39ec103b1f78fd4c66e001d7ecef
https://hal.inria.fr/hal-02396640/document
https://hal.inria.fr/hal-02396640/document
Publikováno v:
EuroS&P
EuroS&P 2019-4th IEEE European Symposium on Security and Privacy
EuroS&P 2019-4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
HAL
2019 IEEE European Symposium on Security and Privacy (EuroS&P)
EuroS&P 2019-4th IEEE European Symposium on Security and Privacy
EuroS&P 2019-4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
HAL
2019 IEEE European Symposium on Security and Privacy (EuroS&P)
International audience; The Noise Protocol Framework, introduced recently, allows for the design and construction of secure channel protocols by describing them through a simple, restricted language from which complex key derivation and local state t
Publikováno v:
IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
2019 IEEE Symposium on Security and Privacy (SP)
SP 2019-40th IEEE Symposium on Security and Privacy
SP 2019-40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
2019 IEEE Symposium on Security and Privacy (SP)
International audience; After suffering decades of high-profile attacks, the need for formal verification of security-critical software has never been clearer. Verification-oriented programming languages like F * are now being used to build high-assu
This book constitutes the refereed proceedings of the 21st International Conference on Cryptology in India, INDOCRYPT 2020, held in Bangalore, India, in December 2020.The 39 full papers presented together with 3 invited abstracts in this book were ca