( en | de | ru )

 

Disambiguierung von "Hawblitzel, Chris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Vale: Verifying High-Performance Cryptographic Assembly Code.

, , , , , , , , und . USENIX Security Symposium, Seite 917-934. USENIX Association, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chris Protzel

Chris Fröhlich

Chris Thümmler

Chris Paschold

Chris Neisse

 

Weitere Publikationen von Autoren mit dem selben Namen

Vale: Verifying High-Performance Cryptographic Assembly Code., , , , , , , , und . USENIX Security Symposium, Seite 917-934. USENIX Association, (2017)Differential assertion checking., , , und . ESEC/SIGSOFT FSE, Seite 345-355. ACM, (2013)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , und 6 andere Autor(en). SP, Seite 983-1002. IEEE, (2020)VeriSMo: A Verified Security Module for Confidential VMs., , , , , und . OSDI, Seite 599-614. USENIX Association, (2024)Adding Operating System Structure to Language-Based Protection.. Cornell University, USA, (2000)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms., , , , , , , , , und 3 andere Autor(en). ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 30-59. Springer, (2019)Automated and Modular Refinement Reasoning for Concurrent Programs., , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 449-465. Springer, (2015)Resource management for extensible Internet servers., , , , und . ACM SIGOPS European Workshop, Seite 33-39. ACM, (1998)Linear types for large-scale systems verification., , , , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-28 (2022)Implementing Multiple Protection Domains in Java., , , , und . USENIX ATC, USENIX Association, (1998)