A Comprehensive Symbolic Analysis of TLS 1.3

Cremers, Cas; Horvat, Marko; Hoyland, Jonathan; Scott, Sam; van der Merwe, Thyla

doi:10.1145/3133956.3134063

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Comprehensive Symbolic Analysis of TLS 1.3

Cremers, C., Horvat, M., Hoyland, J., Scott, S., & van der Merwe, T. (2017). A Comprehensive Symbolic Analysis of TLS 1.3. In CCS'17 (pp. 1773--1788). New York, NY: ACM. doi:10.1145/3133956.3134063.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0000-6E64-5 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0009-CC42-7

Genre: Konferenzbeitrag

Latex : A Comprehensive Symbolic Analysis of {TLS} 1.3

Dateien

einblenden: Dateien

Externe Referenzen

einblenden:

ausblenden:

externe Referenz:
https://dl.acm.org/doi/pdf/10.1145/3133956.3134063 (Verlagsversion) Open Access Status unbekannt

Beschreibung:
-

OA-Status:

Urheber

einblenden:

ausblenden:

Urheber:
Cremers, Cas¹, Autor
Horvat, Marko², Autor
Hoyland, Jonathan¹, Autor
Scott, Sam¹, Autor
van der Merwe, Thyla¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292