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.
ICFEM CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions
International Symposium on Research in Attacks Intrusions and Defenses (RAID) On the Feasibility of TTL-Based Filtering for DRDoS Mitigation
ACM Symposium on Access Control Models and Technologies (ACM SACMAT) An Empirical Study on User Access Control in Online Social Networks
WISE On Impact of Weather on Human Mobility in Cities
VMCAI Tight Cutoffs for Guarded Protocols with Fairness
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA) Detile: Fine-Grained Information Leak Detection in Script Engines
ICALP The Complexity Landscape of Fixed-Parameter Directed Steiner Network Problems.
European Symposium on Research in Computer Security (ESORICS) Automated Multi-architectural Discovery of CFI-Resistant Code Gadgets
International Symposium on Automated Technology for Verification and Analysis (ATVA) Synthesizing Skeletons for Reactive Systems