Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
Advances in Cryptology (CRYPTO) Password-Authenticated Key Exchange from Group Actions
Lecture Notes in Computer Science
ACM Conference on Computer and Communications Security (CCS) Kryvos: Publicly Tally-Hiding Verifiable E-Voting.
Innovations in Theoretical Computer Science (ITCS)
The Logic of Software. A Tasting Menu of Formal Method
DISC International Symposium on Distributed Computing (DISC) Routing Schemes and Distance OraclesRouting Schemes and Distance Oracles in the Hybrid Model
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
ACM Trans. Priv. Secur. Constrained Proximity Attacks on Mobile Targets.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022