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.
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