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)
Competing for Attention: An Interview Study with Participants of
Cryptography Competitions
ACM Conference on Computer and Communications Security (CCS)
Head(er)s Up! Detecting Security Header Inconsistencies in Browsers
ACM Conference on Computer and Communications Security (CCS)
DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy
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