Alle PubliKationen
Unsere wissenschaftlichen Publikationen belegen eindrucksvoll die Exzellenz und internationale Sichtbarkeit unserer Forschung. In den vergangenen Jahren haben CISPA-Forschende zahlreiche Beiträge auf wissenschaftlichen Top-Konferenzen weltweit und in renommierten Fachzeitschriften veröffentlicht. Unsere Publikationen sind in unserer Publikationsdatenbank aufgeführt, einschließlich des Links zur Originalveröffentlichung.
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
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
ACM Internet Measurement Conference (IMC)
CookieGuard: Characterizing and Isolating the First-Party Cookie Jar