Aarhus University Seal / Aarhus Universitets segl

 

PUBLICATIONS

Publications and papers funded or co-funded by COBRA 

 

2021

  • Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits: Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices. Paper accepted IEEE S&P 2021. Link to paper
  • Sri Aravinda Krishnan Thyagarajan, Adithya Bhat, Bernardo Magri, Daniel Tschudi, Aniket Kate: Reparo: Publicly Verifiable Layer to Repair Blockchains. Paper accepted for FC21. Link to paper
  • Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters: Extracting Tested and Verified Smart Contracts in Coq. Paper accepted for CPP 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 accepted for RWC 2021. Link to paper

2020

  • 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