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.
Network and Distributed System Security Symposium (NDSS) Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying
International Conference on Applied Cryptography and Network Security (ACNS) Legacy-Compliant Data Authentication for Industrial Control System Traffic
European Symposium on Research in Computer Security (ESORICS) Link-Layer Device Type Classification on Encrypted Wireless Traffic with COTS Radios
European Symposium on Research in Computer Security (ESORICS) Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5
IFM A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
Usenix Security Symposium (USENIX-Security) "I Have No Idea What I'm Doing" - On the Usability of Deploying HTTPS.
International Conference on Runtime Verification (RV) Monitoring Hyperproperties
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Malware Guard Extension: Using SGX to Conceal Cache Attacks
International Symposium on Automated Technology for Verification and Analysis (ATVA) The Density of Linear-Time Properties