Everest: Towards a Verified, Drop-in Replacement of HTTPS
Bhargavan, Karthikeyan ; Bond, Barry ; Delignat-Lavaud, Antoine ; Fournet, Cédric ; Hawblitzel, Chris ; Hritcu, Catalin ; Ishtiaq, Samin ; Kohlweiss, Markulf ; Leino, Rustan ; Lorch, Jay ; Maillard, Kenji ; Pan, Jianyang ; Parno, Bryan ; Protzenko, Jonathan ; Ramananandro, Tahina ; Rane, Ashay ; Rastogi, Aseem ; Swamy, Nikhil ; Thompson, Laure ; Wang, Peng ; Zanella-Béguelin, Santiago ; Zinzindohoué, Jean-Karim 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/1365635651
- Titel
-
Everest: Towards a Verified, Drop-in Replacement of HTTPS
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
- Autor(en)
-
- Bhargavan, Karthikeyan
- Bond, Barry
- Delignat-Lavaud, Antoine
- Fournet, Cédric
- Hawblitzel, Chris
- Hritcu, Catalin
- Ishtiaq, Samin
- Kohlweiss, Markulf
- Leino, Rustan
- Lorch, Jay
- Maillard, Kenji
- Pan, Jianyang
- Parno, Bryan
- Protzenko, Jonathan
- Ramananandro, Tahina
- Rane, Ashay
- Rastogi, Aseem
- Swamy, Nikhil
- Thompson, Laure
- Wang, Peng
- Zanella-Béguelin, Santiago
- Zinzindohoué, Jean-Karim
- Verlag
- Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- DOI
- 10.4230/LIPIcs.SNAPL.2017.1
- Online
- https://doi.org/10.4230/LIPIcs.SNAPL.2017.1
- Sprache
- eng
- Schlagwörter
-
- Stand
- 15.05.2025 05:18
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
