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.
International Conference on Web Information Systems Engineering (WISE)
Formal Methods in Computer-Aided Design (FMCAD)
Fundamenta Informaticae
Automated Technology for Verification and Analysis
International Symposium on Research in Attacks Intrusions and Defenses (RAID)
Explainable AI: Interpreting, Explaining and Visualizing Deep Learning