Aarhus University Seal / Aarhus Universitets segl

 

PUBLICATIONS

Publications and papers funded or co-funded by COBRA 

 

2021

  • Bernardo David, Bernardo Magri, Christian Matt, Jesper Buus Nielsen and Daniel Tschudi: GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy. Paper accepted for TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to eprint
  • Fredrik Kamphuis, Bernardo Magri, Sebastian Faust: The Discriminating Miner Dilemma: Revisiting Liveness Guarantees under Content Discrimination. Paper accepted for TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to eprint will follow.  
  • Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate: Reparo: Publicly Verifiable Layer to Repair Blockchains. Paper accepted for TPBC 2021, Wednesdays 9 May - 7 July 2021. Link to paper
  • Ivan Damgård and Bernardo Magri and Luisa Siniscalchi and Sophia Yakoubov and Divya Ravi: Broadcast-Optimal Two Round MPC with an Honest Majority. Papers accepted for Crypto 2021, 15-19 August 2021. Link to eprint
  • Craig Gentry, Shai Halevi, Hugo Krawczyk, Bernardo Magri, Jesper Buus Nielsen, Tal Rabin and Sophia Yakoubov: YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roles. Paper accepted for Crypto 2021, 15-19 August 2021. Link to eprint Link to video
  • Benjamin Salling Hvass and Diego F. Aranha and Bas Spitters: High-assurance field inversion for curve-based cryptography. Link to eprint  
  • Nikolaj Sidorenco and Sabine Oechsner and Bas Spitters: Formal security analysis of MPC-in-the-head zero-knowledge protocols. Paper accepted for CSF 2021, 21-25 June 2021. Link to eprint
  • Søren Eller Thomsen and Bas Spitters: Formalizing Nakamoto-Style Proof of Stake. Paper accepted for CSF 2021, 21-25 June 2021. Link to eprint
  • Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Theo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters: SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.  Paper accepted for CSF 2021, 21-25 June 2021. Link to eprint     
  • Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, and Sabine Oechsner: TARDIS: Time And Relative Delays In Simulation. Paper accepted for EuroCrypt 2021, 17-21 October 2021. Link to paper    
  • Claudio Orlandi, Peter Scholl, Sophia Yakoubov: The Rise of Paillier: Homomorphic Secret Sharing and Public-Key Silent OT. Paper accepted for EuroCrypt 2021, 17-21 October 2021. Link to paper TBA    
  • Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits: Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices. Paper presented at IEEE S&P 23-27 May 2021. Link to paper
  • Ivan Damgård, Chaya Ganesh, Hamidreza Khoshakhlagh, Claudio Orlandi, and Luisa Siniscalchi: Balancing Privacy and Accountability in Blockchain Transactions. Paper presented at CT-RSA 2021, 17-20 May 2021. Link to paper    
  • Ivan Damgård, Claudio Orlandi, Akira Takahashi, and Mehdi Tibouchi: Two-round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
  • Alessandra Scafuro and Luisa Siniscalchi and Ivan Visconti: Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
  • Michele Ciampi and Luisa Siniscalchi and Hendrik Waldner: Multi-Client Functional Encryption for Separable Functions. Paper presented at PKC 2021, 9-13 May 2021. Link to paper    
  • Nikolaj Sidorenco, Sabine Oechsner and Bas Spitters: SoK: Formal security analysis of MPC-in-the-head zero-knowledge protocols. Paper presented at ZKProof 2021, 19-29 April 2021. Link to eprint
  • Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate: Reparo: Publicly Verifiable Layer to Repair Blockchains. Paper presented at FC21, 1-5 March 2021. Link to paper
  • Pedro G. M. R. Alves, Jheyne N. Ortiz and Diego F. Aranha: Faster Homomorphic Encryption over GPGPUs via hierarchical DGT. Paper presented at FC21, 1-5 March 2021. Link to paper Link to video     
  • Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters: Extracting Tested and Verified Smart Contracts in Coq. Paper presented at CPP 2021, 17-19 January 2021. Link to paper
  • Diego F. Aranha, Felipe Rodrigues Novaes, Akira Takahashi, Mehdi Tibouchi, Yuval Yarom:  LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage.  Paper presented at RWC 2021, 11-14 January 2021. Link to paper

2020

  • Craig Gentry and Shai Halevi and Bernardo Magri and Jesper Buus Nielsen and Sophia Yakoubov: Random-index PIR and Applications. Link to eprint
  • Anders Dalskov, Claudio Orlandi, Marcel Keller, Kris Shrishak, Haya Shulman:  Securing DNSSEC Keys via Threshold ECDSA from Generic MPC. Link to publication
  • Thomas Dinsdale-Young, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Daniel Tschudi: Afgjort: A partially synchronous finality layer for blockchainsLink to publication
  • Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan:  Minting Mechanisms for Proof of Stake Blockchains. Link to publication
  • Daniel E. Lucani, Lars Nielsen, Claudio Orlandi, Elena Pagnin, Rasmus Vestergaard: Secure Generalized Deduplication via Multi-Key Revealing Encryption. Link to publication
  • Jakob B. Nielsen, Bas Spitters: Smart Contract Interactions in Coq. Link to publication
  • Daniel Escudero, Satrajit Ghosh, Marcel Keller, Rahul Rachuri, Peter Scholl: Improved Primitives for MPC over Mixed Arithmetic-binary Circuits. Link to publication
  • Suvradip Chakraborty, Stefan Dziembowski, Jesper Buus Nielsen: Reverse firewalls for actively secure mpcs. Link to publication
  • Ivan Damgård, Claudio Orlandi, Mark Simkin: Black-Box Transformations from Passive to Covert Security with Public Verifiability. Link to publication
  • Søren Eller Thomsen, Bas Spitters: Formalizing Nakamoto-Style Proof of StakeLink to publication
  • Chaya Ganesh, Bernardo Magri, Daniele Venturi: Cryptographic Reverse Firewalls for Interactive Proof Systems. Link to publication
  • Carlo Blundo, Stelvio Cimato, Luisa Siniscalchi: Managing Constraints in Role Based Access Control. Link to publication
  • Giuseppe Ateniese, Bernardo Magri, Daniele Venturi: Subversion-resilient signatures: Definitions, constructions and applications. Link to publication
  • Jesper Buus Nielsen, Mark Simkin: Lower Bounds for Leakage-Resilient Secret SharingLink to publication
  • Divesh Aggarwal, Maciej Obremski, João Ribeiro, Luisa Siniscalchi and Ivan Visconti: How to Extract Useful Randomness from Unreliable Sources. Link to publication
  • Diego F. Aranha, Claudio Orlandi, Akira Takahashi and Greg Zaverucha: Security of Hedged Fiat–Shamir Signatures Under Fault Attacks. Link to publication
  • Diego F. Aranha, Felipe Rodrigues Novaes, Akira Takahashi, Mehdi Tibouchi, Yuval Yarom:  LadderLeak: Breaking ECDSA With Less Than One Bit Of Nonce Leakage.  Paper accepted for DEFCON 28, WAC 2020, CCS 2020 and Black Hat Europe 2020. Link to paper
  • Chaya Ganesh and Claudio Orlandi and Daniel Tschudi and Aviv Zohar: Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. Paper presentation at Monash Cybersecurity Seminars 2020. Link to paper
  • Benjamin S. Hvass, Diego F. Aranha, Bas Spitters: High-assurance field inversion for pairing-friendly primes. Paper accepted for The Coq Workshop 2020 Link to paper and FMBC 2020 Link to paper.
  • Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters: Verifying, testing and running smart contracts in ConCert. Paper accepted for The Coq Workshop 2020. Link to paper
  • Ivan Damgård, Hans Gersbach, Ueli Maurer, Jesper Buus Nielsen, Claudio Orlandi, Torben Pryds Pedersen: Concordium White Paper An Introduction to the Technical Specifications and Features of the Concordium Platform. Link to whitepaper
  • Simon Holmgaard Kamp, Bernardo Magri, Christian Matt, Jesper Buus Nielsen, Søren Eller Thomsen, Daniel Tschudi: Leveraging Weight Functions for Optimistic Responsiveness in Blockchains. Paper accepted for TPBC20. Link to paper 
  • Carsten Baum, Bernardo David, Rafel Dowsley, Jesper Buus Nielsen, Sabine Oechsner: CRAFT: Composable Randomness and Almost Fairness from Time. Link to paper
  • Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner:  TARDIS: Time And Relative Delays In Simulation. Link to paper.
  • Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2020 and TPBC 2020. Link to paper

2019

  • 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

  • Diego Aranha and Elena Pagnin:  The Simplest Multi-key Linearly Homomorphic Signature Scheme. Paper accepted for Latin Crypt 2019 Link to paper
  • Riko Jacob, Kasper Green Larsen and Jesper Buus Nielsen: Lower Bounds for Oblivious Data Structures. Link to publication    
  • Thomas Dinsdale-Young, Bas Spitters, Søren Eller Thomsen and Daniel Tschudi. WIP: Formalizing the Concordium Consensus Protocol in Coq. Paper accepted for CoqPL 2019. Link to paper
  • Simon Gregersen, Søren Eller Thomsen and Aslan Askarov. A Dependently Typed Library for Static Information-Flow Control in Idris. Paper accepted for POST 2019. Link to paper
  • Prastudy Fauzi, Sarah Meiklejohn, Rebekah Mercer, Claudio Orlandi. QuisQuis: A New Design for Anonymous Cryptocurrencies. Paper accepted for AsiaCrypt 2019. Link to paper
  • Chaya Ganesh, Claudio Orlandi, Daniel Tschudi. Proof-of-Stake Protocols for Privacy-Aware Blockchains. Paper accepted for EuroCrypt 2019. Link to paper
  • Ivan Damgård, Chaya Ganesh, Claudio Orlandi. Proofs of Replicated Storage Without Timing Assumptions. Paper accepted for Crypto 2019. Link to paper
  • Danil Annenkov and Bas Spitters. Deep and Shallow Embeddings in Coq. Paper accepted for TYPES 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