Verifpal: Cryptographic Protocol Analysis for the Real World

Autor: Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

Publikováno v: 21st International Conference on Cryptology in India, 2020
21st International Conference on Cryptology in India, 2020, Dec 2020, Bangalore, India
CCSW@CCS
Progress in Cryptology – INDOCRYPT 2020 ISBN: 9783030652760
INDOCRYPT
HAL

International audience; Verifpal is a new automated modeling framework and verifier for cryptographic protocols, optimized with heuristics for common-case protocol specifications, that aims to work better for real-world practitioners, students and en

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c648021351c634f0eb56c64739c39219
https://hal.archives-ouvertes.fr/hal-03325360/file/2019-971.pdf

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols

Autor: Nadim Kobeissi, Karthikeyan Bhargavan, Georgio Nicolas

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)

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1d716e109eb4489521d7acea84a1d6a
https://doi.org/10.1109/eurosp.2019.00034

Ledger Design Language: Designing and Deploying Formally Verified Public Ledgers

Autor: Natalia Kulatova, Nadim Kobeissi

Publikováno v: Workshop on Security Protocol Implementations: Development and Analysis
Workshop on Security Protocol Implementations: Development and Analysis, Apr 2018, London, United Kingdom
HAL
EuroS&P Workshops

International audience; Cryptocurrencies have popularized public ledgers, known colloquially as "blockchains". While the Bitcoin blockchain is relatively simple to reason about as, effectively, a hash chain, more complex public ledgers are largely de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b162a62f57dd649d36b12d1af571e901
https://inria.hal.science/hal-01948971/document

Formal Modeling and Verification for Domain Validation and ACME

Autor: Antoine Delignat-Lavaud, Nadim Kobeissi, Karthikeyan Bhargavan

Publikováno v: [Research Report] INRIA Paris; Microsoft Research Cambridge. 2016
Financial Cryptography and Data Security
HAL
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Financial Cryptography and Data Security
Financial Cryptography and Data Security ISBN: 9783319709710
Financial Cryptography

Web traffic encryption has shifted from applying only to sensitive websites (such as banks) to a majority of all Web requests. Until recently, one of the main limiting factors for enabling HTTPS was the requirement to obtain a valid certificate from

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d91356676f3c8ffd8dcd8e67831dd53a
https://hal.inria.fr/hal-01397439v3/document

L’algorithme et l’ordre public

Autor: Nadim Kobeissi, Philippe Baumard

Publikováno v: Archives de philosophie du droit
Archives de philosophie du droit, Dalloz, 2015, pp. 269-288
Archives de philosophie du droit, 2015, 58, pp. 269-288
HAL

Philippe Baumard et Nadim Kobeissi explorent la relation entre liberte, transparence et securite. Dans le contexte de l’invalidation du 6 octobre 2015 de l’accord « Safe Harbour » par la Cour de justice de l’Union europeenne, et revenant sur

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de8fc504f7fac1a476b1fded3a3bb3b4
https://hal-cnam.archives-ouvertes.fr/hal-03228678/document