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.
Advances in Cryptology (CRYPTO) The Algebraic Group Model and its Applications
International Symposium on Automated Technology for Verification and Analysis (ATVA) Maximum Realizability for Linear Temporal Logic Specifications
International Conference on Learning Representations (ICLR) Explainable AI: Interpreting, Explaining and Visualizing Deep Learning
International Workshop on Graph-Theoretic Concepts in Computer Science (WG) An Improved FPT Algorithm for Independent Feedback Vertex Set
International Symposium on Automated Technology for Verification and Analysis (ATVA) Automated Technology for Verification and Analysis
The Web Conference (WWW) Your Secrets Are Safe: How Browsers' Explanations Impact Misconceptions About Private Browsing Mode
International Colloquium on Automata Languages and Programming (ICALP) A Centralized Local Algorithm for the Sparse Spanning Graph Problem.
DISC International Symposium on Distributed Computing (DISC) Strong Separations Between Broadcast and Authenticated Channels.
European Conference on Computer Vision (ECCV)