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 blockchains. Link 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 Stake. Link 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 Sharing. Link 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