165 citations · 243 across the 8 of their papers we have counts for
5 papers · 1 filter
Secure Internet Exams Despite Coercion
Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini
We study coercion-resistance for online exams. We propose two properties, Anonymous Submission and Single-Blindness which, if hold, preserve the anonymity of the links between test…
PakeMail: authentication and key management in decentralized secure email and messaging via PAKE
Itzel Vazquez Sandoval, Arash Atashpendar, Gabriele Lenzini +1
We propose the use of PAKE for achieving and enhancing entity authentication (EA) and key management (KM) in the context of decentralized end-to-end encrypted email and secure mess…
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…
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…
A Group Signature Based Electronic Toll Pricing System
Xihui Chen, Gabriele Lenzini, Sjouke Mauw +1
With the prevalence and development of GNSS technologies, location-based vehicle services (LBVS) have experienced a rapid growth in recent years. However, location is a sensitive a…