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.
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
International Symposium on Software Testing and Analysis (ISSTA) SyncProf: detecting, localizing, and optimizing synchronization bottlenecks
International Symposium on Software Testing and Analysis (ISSTA) Monkey see, monkey do: effective generation of GUI tests with inferred macro events
ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford