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.
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
International Conference on Machine Learning (ICML) Adversarial Inputs for Linear Algebra Backends
Transactions on Machine Learning Research (TMLR) Do Parameters Reveal More than Loss for Membership Inference?