Publications and papers funded or co-funded by COBRA
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters: Finding smart contract vulnerabilities with ConCert’s property-based testing framework. Paper accepted for FMBC 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 accepted for SCN 2022. Link to paper tba.
Chaya Ganesh, Hamidreza Khoshakhlagh and Roberto Parisella: NIWI and New Notions of Extraction for Algebraic Languages. Paper accepted for SCN 2022. Link to paper tba.
Mark Simkin, Luisa Siniscalchi and Sophia Yakoubov: On Sufficient Oracles for Secure Computation with Identifiable Abort. Paper accepted for 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 accepted for 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 accepted for 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 accepted for 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 accepted for 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 accepted for 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.
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