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