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.
ICRA Near-Optimal Reactive Synthesis Incorporating Runtime Information
Conference on Security and Cryptography for Networks (SCN)
International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
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.