Publications
Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.
ACM-SIAM Symposium on Discrete Algorithms (SODA)
IEEE International Conference on Cluster Computing (CLUSTER)
IEEE Security and Privacy Magazine
IEEE Security and Privacy
Public-Key Cryptography – PKC 2022
Innovations in Theoretical Computer Science (ITCS)
The Logic of Software. A Tasting Menu of Formal Methods
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)
The Logic of Software. A Tasting Menu of Formal Method