Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Georgio Nicolas"'
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
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
https://hal.archives-ouvertes.fr/hal-03325360/file/2019-971.pdf
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