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.
Fuzzing with Fandango - Tutorial and Reference
Theory of Cryptography Conference (TCC) Consensus in the Presence of Overlapping Faults and Total Omission
Proc. ACM Program. Lang. Approximate Relational Reasoning for Higher-Order Probabilistic Programs
ACM Conference on Computer and Communications Security (CCS) Logical Relations for Formally Verified Authenticated Data Structures
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.
Advances in Cryptology (CRYPTO) Adaptively Secure Three-Round Threshold Schnorr Signatures from DDH
ACM Computer Science in Cars Symposium (CSCS) Vehicle-to-Everything Trust: Enabling Autonomous Trust Assessment of V2X Data by Vehicles.
ACM Conference on Computer and Communications Security (CCS) Adversarial Observations in Weather Forecasting