2022

• Rasmus Holdsbjerg-Larsen, Mikkel Milo, Bas Spitters: A Verified Pipeline from a Specification Language to Optimized, Safe Rust. Paper accepted for CoqPL 2022, 22 January 2022. Link to abstract

2021

• Craig Gentry, Shai Halevi, Bernardo Magri, Jesper Buus Nielsen and Sophia Yakoubov: Random-index PIR and Applications. Paper presented at TCC 2021, 8-11 November 2021. Link to eprint 
• Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen and Sabine Oechsner: TARDIS: A Foundation of Time-Lock Puzzles in UC. Paper presented at EuroCrypt 2021, 17-21 October 2021. Link to eprint 
• Simon Holmgaard Kamp, Bernardo Magri, Jesper Buus Nielsen, Søren Eller Thomsen, Christian Matt and Daniel Tschudi: Weight-Based Nakamoto-Style Blockchains. Paper presented at Latincrypt 2021, 6-8 October 2021. Link to eprint
• Diego F. Aranha, Elena Pagnin and Francisco Rodríguez-Henríquez: LOVE a pairing. Paper accepted for LatinCrypt 2021, 6-8 October 2021. Link to eprint 
• Diego Aranha, Anders Dalskov, Daniel Escudero and Claudio Orlandi: Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms. Paper presented at LatinCrypt 2021, 6-8 October 2021. Link to eprint  
• Alexander Munch-Hansen, Claudio Orlandi and Sophia Yakoubov: Stronger Notions and a More Efficient Construction of Threshold Ring Signatures. Paper presented at LatinCrypt 2021, 6-8 October 2021. Link to eprint 
• Bernardo David, Bernardo Magri, Christian Matt, Jesper Buus Nielsen and Daniel Tschudi: GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomy. Paper presented at 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 presented at 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 presented at 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. Paper presented at Crypto 2021, 16-20 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 presented at Crypto 2021, 16-20 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 presented at CSF 2021, 21-25 June 2021. Link to eprint
• Søren Eller Thomsen and Bas Spitters: Formalizing Nakamoto-Style Proof of Stake. Paper presented at 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 presented at 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 eprint    
• 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 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