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.
ACM Conference on Computer and Communications Security (CCS) Limiting the Impact of Stealthy Attacks on Industrial Control Systems
ACM Conference on Computer and Communications Security (CCS) On the Security of Cracking-Resistant Password Vaults
IEEE Symposium on Foundations of Computer Science (FOCS) Subexponential Parameterized Algorithms for Planar and Apex-Minor-Free Graphs via Low Treewidth Pattern Covering
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