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.
Innovations in Theoretical Computer Science (ITCS)
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)
The Logic of Software. A Tasting Menu of Formal Methods
ACM-SIAM Symposium on Discrete Algorithms (SODA)
ACM Transactions on Computer-Human Interaction
International Conference on Parallel and Distributed Systems (ICPADS)
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Bayesian Deep Learning Workshop (BDL)