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.
GandALF Distributed PROMPT-LTL Synthesis
HPEC Integrating real-time and batch processing in a polystore.
ISVLSI Fault-Tolerant Clock Synchronization with High Precision
IEEE Symposium on Security and Privacy (S&P) A Tough Call: Mitigating Advanced Code-Reuse Attacks at the Binary Level
IEEE Symposium on Security and Privacy (S&P) Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication
IEEE Computer Security Foundations Symposium (CSF) On Post-compromise Security
Cryptographic Hardware and Embedded Systems (CHES) – vatiCAN – Vetted, Authenticated CAN Bus
IEEE Symposium on Security and Privacy Workshops (SPW) Browser History Stealing with Captive Wi-Fi Portals
Datenschutz und Datensicherheit - DuD Automatisches Sicherheitstesten