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.
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
7th Conference on Advances in Financial Technologies (AFT 2025)
Blockchain Governance via Sharp Anonymous Multisignatures
IEEE Transactions on Dependable and Secure Computing Revealing the Risk of Hyper-parameter Leakage in Deep Reinforcement Learning Models
ACM Transactions on the Web (TWEB) It’s not Easy: Applying Supervised Machine Learning to Detect Malicious Extensions in the Chrome Web Store