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.
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.
Advances in Cryptology (CRYPTO)
Adaptively Secure Three-Round Threshold Schnorr Signatures from DDH