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