Publications and accepted papers funded or co-funded by COBRA
Chen-Da Liu-Zhang, Christian Matt, Ueli Maurer, Guilherme Rito, Søren Eller Thomsen: Practical Provably Secure Flooding for Blockchains. Paper presented at Asiacrypt 2022. Link to paper
Matteo Campanelli, Bernardo David, Hamidreza Khoshakhlagh, Anders Konring, Jesper Buus Nielsen: Encryption to the Future: A Paradigm for Sending Secret Messages to Future (Anonymous) Committees. Paper presented at Asiacrypt 2022. Link to paper
Matteo Campanelli, Mathias Hall-Andersen, Simon Holmgaard Kamp: ZK Primitives - Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. Paper presented at ZKProof 2022. Link to paper
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters: Finding smart contract vulnerabilities with ConCert’s property-based testing framework. Paper presented at FMBC 2022. Link to paper.
Cecilia Boschini, Ivan Damgård, Claudio Orlandi: On Access Control Encryption without Sanitization. Paper presented at SCN 2022. Link to paper
Diego F. Aranha, Felix Engelmann, Sebastian Kolby and Sophia Yakoubov: The State of the Union: Union-Only Signatures for Data Aggregation. Paper presented at SCN 2022. Link to paper
Chaya Ganesh, Hamidreza Khoshakhlagh and Roberto Parisella: NIWI and New Notions of Extraction for Algebraic Languages. Paper presented at SCN 2022. Link to paper
Mark Simkin, Luisa Siniscalchi and Sophia Yakoubov: On Sufficient Oracles for Secure Computation with Identifiable Abort. Paper presented at SCN 2022. Link to paper..
Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michal Zajac: What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? Paper presented at SCN 2022. Link to paper.
Matteo Campanelli, Felix Engelmann, Claudio Orlandi: Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. Paper presented at SCN 2022. Link to paper.
Damiano Abram, Ivan Damgård, Claudio Orlandi, Peter Scholl: An Algebraic Framework for Silent Preprocessing with Trustless Setup and Active Security. Paper presented at Crypto 2022. Link to abstract.
Jesper Buus Nielsen, João Ribeiro, and Maciej Obremski: Public Randomness Extraction with Ephemeral Roles and Worst-Case Corruptions. Paper presented at Crypto 2022. Link to paper.
Christian Matt, Jesper Buus Nielsen, and Søren Eller Thomsen: Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. Paper presented at Crypto 2022. Link to paper.
Matteo Campanelli, Mathias Hall-AndersenVeksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets from Well-Studied Assumptions. Paper presented at Asia CCS 2022. Link to paper.
Hamidreza Khoshakhlagh: (Commit-and-Prove) Predictable Arguments with Privacy. Paper presented at ACNS 2022. Link to paper
Aarushi Goel, Mathias Hall-Andersen, Aditya Hegde, Abhishek Jain: Secure Multiparty Computation with Free Branching. Paper presented at Eurocrypt 2022. Link to presentation.
Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner: Round-Optimal Multi-Party Computation with Identifiable Abort. Paper presented at Eurocrypt 2022. Link to paper.
Suvradip Chakraborty, Bernardo Magri, Jesper Buus Nielsen, Daniele Venturi: Universally Composable Subversion-Resilient Cryptography. Paper accepted for Eurocrypt 2022. Link to paper.
Aarushi Goel, Matthew Green, Mathias Hall-Andersen, Gabriel Kaptchuk: Stacking Sigmas: A Framework to Compose Sigma-Protocols for Disjunctions. Paper presented at Eurocrypt 2022. Link to abstract.
Chaya Ganesh, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tschudi: Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). Paper presented at Eurocrypt 2022. Link to abstract
Claudio Orlandi, Divya Ravi, Peter Scholl: On the Bottleneck Complexity of MPC with Correlated Randomness. Paper presented at PKC 2022. Link to paper
Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2019. Link to paper
Dominic Deuber, Bernardo Magri and Sri Aravinda Krishnan Thyagarajan: Redactable Blockchain in the Permissionless Setting. Paper accepted for IEEE S&P 2019. Link to paper
Danil Annenkov and Bas Spitters. Towards a Smart Contract Verification Framework in Coq. Paper accepted for FMBC 2019. Link to paper