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.
IEEE Symposium on Security and Privacy (S&P) << I Know Where You Parked Last Summer >> Automated Reverse Engineering and Privacy Analysis of Modern Cars
APLAS REFINITY to Model and Prove Program Transformation Rules
European Symposium on Research in Computer Security (ESORICS) Plenty of Phish in the Sea: Analyzing Potential Pre-attack Surfaces
International Colloquium on Automata Languages and Programming (ICALP) Hitting Long Directed Cycles Is Fixed-Parameter Tractable.
Theory of Cryptography Conference (TCC) Asynchronous Byzantine Agreement with Subquadratic Communication
Theory of Cryptography Conference (TCC) On the Security of Time-Lock Puzzles and Timed Commitments
Advances in Cryptology (CRYPTO) Always Have a Backup Plan: Fully Secure Synchronous MPC with Asynchronous Fallback