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.
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
MFCS International Symposium on Mathematical Foundations of Computer Science (MFCS) Routing with Congestion in Acyclic Digraphs.
SWAT The Complexity Landscape of Fixed-Parameter Directed Steiner Network Problems (Invited Talk).
European Symposium on Research in Computer Security (ESORICS) On Attacker Models and Profiles for Cyber-Physical Systems
Advances in Cryptology (CRYPTO) Two-Message, Oblivious Evaluation of Cryptographic Functionalities
Advances in Cryptology (CRYPTO) Rate-1, Linear Time and Additively Homomorphic UC Commitments