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.
Workshop on Principles of Secure Compilation (PriSC)
Logical Methods in Computer Science
IEEE Internet of Things Journal
ACM-SIAM Symposium on Discrete Algorithms (SODA)
IEEE International Conference on Cluster Computing (CLUSTER)
IEEE Security and Privacy
IEEE Security and Privacy Magazine
Public-Key Cryptography – PKC 2022
The Logic of Software. A Tasting Menu of Formal Methods