Root-of-Trust Abstractions for Symbolic Analysis - Application to Attestation Protocols. | 0 | 0.34 | 2021 |
A Declaration of Software Independence. | 0 | 0.34 | 2021 |
Short Paper - Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme. | 1 | 0.36 | 2020 |
PakeMail - Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. | 0 | 0.34 | 2020 |
Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I. | 0 | 0.34 | 2019 |
Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II. | 0 | 0.34 | 2019 |
Security Protocols for Secret Santa. | 3 | 0.50 | 2010 |
Virtually Perfect Democracy (Transcript of Discussion). | 0 | 0.34 | 2010 |
09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice. | 0 | 0.34 | 2009 |