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.
International Conference on Learning Representations (ICLR) Stealing and Defending Transformer-based Encoders
ACM Conference on Computer and Communications Security (CCS) Poster: Clean-label Backdoor Attack on Graph Neural Networks.
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