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.
Dagstuhl Reports
Higher-Order Separation Logic for Distributed Systems and Security
Network and Distributed System Security Symposium (NDSS) Drone Security and the Mysterious Case of DJI's DroneID
IEEE Multi-conference on Natural and Engineering Sciences for Sahel's Sustainable Development (MNE3SD) Lightweight and robust MQTT protocol authentication model suitable for connected portals
Usenix Security Symposium (USENIX-Security)
Usenix Security Symposium (USENIX-Security) A Plot is Worth a Thousand Words: Model Information Stealing Attacks via Scientific Plots
Empirical Software Engineering
International Conference on Algorithmic Learning Theory Towards Empirical Process Theory for Vector-Valued Functions: Metric Entropy of Smooth Function Classes
Usenix Security Symposium (USENIX-Security)