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.
Usenix Security Symposium (USENIX-Security)
InstrSem: Automatically and Generically Inferring Semantics of (Undocumented) CPU Instructions
Usenix Security Symposium (USENIX-Security)
SoK: History Doesn't Repeat Itself, but Android Design-Level Vulnerabilities Rhyme in OpenHarmony
Usenix Security Symposium (USENIX-Security)
IEEE Workshop on Offensive Technologies (WOOT)
Protocol Prying: Systematic Vulnerability Research in the AirDrop and Android Quick Share Proximity Transfer Protocols
ACM International Conference on Knowledge Discovery and Data Mining (KDD)
Differentiably Discovering Sets of Rules
International Conference on Principles of Knowledge Representation and Reasoning (KR)
Knowledge Compilation for Quantification in Alternating Automata
MCU 2026
Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
International Conference on Computer Aided Verification (CAV) 2026
Extending QuAK with Nested Quantitative Automata
Computer Aided Verification (CAV)