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.
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
International Conference on Learning Representations (ICLR)
The Logic of Software. A Tasting Menu of Formal Method
Public-Key Cryptography – PKC 2022