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) "Threat modeling is very formal, it's very technical, and also very hard to do correctly": Investigating Threat Modeling Practices in Open-Source Software Projects.
USENIX Symposium on Vehicle Security and Privacy ConfuSense: Sensor Reconfiguration Attacks for Stealthy UAV Manipulation
European Symposium on Research in Computer Security (ESORICS) NICraft: Malicious NIC Firmware-Based Cache Side-Channel Attack
Efficient Agreement Over Byzantine Gossip
Black-Box Non-interactive Zero Knowledge from Vector Trapdoor Hash
International Conference on Practice and Theory in Public Key Cryptography (PKC) Kleptographic Attacks Against Implicit Rejection
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols
Formal Methods in Computer-Aided Design (FMCAD) On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.