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.
Formal Methods (FM)
A Tutorial on Stream-Based Monitoring
Formal Methods (FM)
Visualizing Game-Based Certificates for Hyperproperty Verification
Privacy Enhancing Technologies Symposium (PETS)
A Comprehensive Study of Privacy Risks in Curriculum Learning
ACM Conference on Computer and Communications Security (CCS)
Advances in Cryptology (CRYPTO)
Simple and General Counterexamples for Private-Coin Evasive LWE.
Fuzzing with Fandango - Tutorial and Reference
Theory of Cryptography Conference (TCC)
Consensus in the Presence of Overlapping Faults and Total Omission
Computer Aided Verification (CAV)
An Intermediate Program Representation for Optimizing Stream-Based Languages
IACR Cryptol. ePrint Arch. ETK: External-Operations TreeKEM and the Security of MLS in RFC 9420.