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.
Theory of Cryptography Conference (TCC)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Software Engineering (SE)
Proceedings of the AAAI Conference on Artificial Intelligence
Computer Aided Verification (CAV)
International Conference on Cryptology in India (Indocrypt)
ACM Computer Science in Cars Symposium (CSCS)
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)