165 citations · 243 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
A Formal Security Analysis of the pEp Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email
Itzel Vazquez Sandoval, Gabriele Lenzini
To send encrypted emails, users typically need to create and exchange keys which later should be manually authenticated, for instance, by comparing long strings of characters. Thes…
cs.CR2020
Authentication and Key Management Automation in Decentralized Secure Email and Messaging via Low-Entropy Secrets
Itzel Vazquez Sandoval, Arash Atashpendar, Gabriele Lenzini
We revisit the problem of entity authentication in decentralized end-to-end encrypted email and secure messaging to propose a practical and self-sustaining cryptographic solution b…