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.
the 13th Workshop on Encrypted Computing & Applied Homomorphic Computing (WAHC) A Haskell to FHE Transpiler With Circuit Parallelisation
ACM Conference on Computer and Communications Security (CCS)
ACM Conference on Computer and Communications Security (CCS) Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks
ACM Conference on Computer and Communications Security (CCS) ExfilState: Automated Discovery of Timer-Free Cache Side Channels on ARM CPUs
ACM Conference on Computer and Communications Security (CCS) RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs
ACM Conference on Computer and Communications Security (CCS) Looping for Good: Cyclic Proofs for Security Protocols
International Conference on Bridging the Gap Between AI and Reality (AISoLA) Responsible and Trusted AI: An Interdisciplinary Perspective (2025)
ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA) Verifying Asynchronous Hyperproperties in Reactive Systems
CONFERENCE ON LANGUAGE MODELING(COLM)) Cutting the Root of Hallucination: Structural Trimming for Vulnerability Mitigation in Code LLMs