Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque

Autor:	Nadim Kobeissi
Rok vydání:	2019
Předmět:	Transport Layer Security Opacity Computer Networks and Communications Computer science Electrical and Electronic Engineering Selfie Computer security computer.software_genre Law Formal verification computer
Zdroj:	IEEE Security & Privacy. 17:94-96
ISSN:	1558-4046 1540-7993
DOI:	10.1109/msec.2019.2913027
Popis:	Selfie is a new attack on Transport Layer Security (TLS) 1.3 that was published recently1 by researchers Nir Drucker and Shay Gueron.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0a31b2b58d4b69694728f17fcd7868fe https://doi.org/10.1109/msec.2019.2913027 Zobrazit plný text záznamu