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.
Computer Aided Verification (CAV)
International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT) How to Securely Compute with Noisy Leakage in Quasilinear Complexity
Tools and Algorithms for Construction and Analysis of Systems (TACAS) RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
ACM Computer Science in Cars Symposium (CSCS) DRiVERSITY - Synthetic Torture Testing to Find Limits of Autonomous Driving Algorithms
European Symposium on Research in Computer Security (ESORICS) Towards Understanding Privacy Implications of Adware and Potentially Unwanted Programs
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Evasive Malware via Identifier Implanting
Lecture Notes in Computer Science
ISoLA Modular, Correct Compilation with Automatic Soundness Proofs