Leakage-Free Probabilistic Jasmin Programs
January 2025 — José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh
CPP '25Where science meets purpose
Categories
Topics
Authors
Research Papers
Modular Design of Secure Group Messaging Protocols and the Security of MLS
November 2021 — Joël Alwen, Sandro Coretti, Yevgeniy Dodis, Yiannis Tselekounis
ACM CCS '21Impossibility on Tamper-Resilient Cryptography with Uniqueness Properties
April 2021 — Yuyu Wang, Takahiro Matsuda, Goichiro Hanaoka, Keisuke Tanaka
PKC '21Continuous Group Key Agreement with Active Security
November 2020 — Joël Alwen, Sandro Coretti, Daniel Jost, Marta Mularczyk
TCC '20Security Analysis and Improvements for the IETF MLS Standard for Group Messaging
August 2020 — Joël Alwen, Sandro Coretti, Yevgeniy Dodis, Yiannis Tselekounis
CRYPTO '20One-shot Signatures and Applications to Hybrid Quantum/Classical Authentication
June 2020 — Ryan Amos, Marios Georgiou, Prof Aggelos Kiayias, Mark Zhandry
STOC '20ROYALE: A Framework for Universally Composable CardGames with Financial Rewards and Penalties Enforcement
February 2019 — Bernardo David, Rafael Dowsley, Mario Larangeira
Financial Cryptography 2019Leakage-Resilient Cryptography from Puncturable Primitives and Obfuscation
December 2018 — Yu Chen, Yuyu Wang, Hong-sheng Zhou
Asiacrypt '18But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin.
April 2018 — Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Eurocrypt '18Memory Lower Bounds of Reductions Revisited
April 2018 — Yuyu Wang, Takahiro Matsuda, Goichiro Hanaoka, Keisuke Tanaka
Eurocrypt '18SCRAPE: Scalable Randomness Attested by Public Entities
July 2017 — Bernardo David, Ignacio Cascudo
ACNS '17