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.
Computer Aided Verification (CAV) PARTY Parameterized Synthesis of Token Rings
ACM Conference on Computer and Communications Security (CCS) 25 million flows later: large-scale detection of DOM-based XSS
Usenix Security Symposium (USENIX-Security) Eradicating DNS Rebinding with the Extended Same-origin Policy.
Theory of Cryptography Conference (TCC) Implementing Resettable UC-Functionalities with Untrusted Tamper-Proof Hardware-Tokens
International Conference on the Theory and Application of Cryptographic Techniques (EuroCrypt) Lossy Codes and a New Variant of the Learning-With-Errors Problem
International Symposium on Stabilization Safety and Security of Distributed Systems (SSS) Synchronous Counting and Computational Algorithm Design
IFIP Networking Conference (IFIP) Low-Complexity Visible Light Networking with LED-to-LED Communication
EC2ND On Botnets That Use DNS for Command and Control
ASONAM Interactively and Visually Exploring Tours of Marked Nodes in Large Graphs