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.
IACR Communications in Cryptology Fherret: Proof of FHE Correct-and-Honest Evaluation with Circuit Privacy from MPCitH
International Conference on Principles of Knowledge Representation and Reasoning (KR) Knowledge Compilation for Quantification in Alternating Automata
MCU 2026 Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
International Conference on Computer Aided Verification (CAV) 2026 Extending QuAK with Nested Quantitative Automata
Computer Aided Verification (CAV) TACO: A Toolsuite for the Verification of Threshold Automata
IEEE Computer Security Foundations Symposium (CSF) Verifying and Monitoring the Lightweight Directory Access Protocal (LDAP)
Privacy Enhancing Technologies Symposium (PETS) When Threshold Meets Anamorphic Signatures: What is Possible and What is Not!
SIAM journal on computing (Print) Distributed Edge Coloring in Time Polylogarithmic in Δ
European Conference on Computer Vision (ECCV) GEO-Detective: Unveiling Location Privacy Risks in Images with LLM Agents