2020

• Benjamin S. Hvass, Diego F. Aranha, Bas Spitters: High-assurance field inversion for pairing-friendly primes. Paper accepted for The Coq Workshop 2020. LINK

• 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
• Giuseppe Ateniese, Bernardo Magri, Daniele Venturi: Subversion-resilient signatures: Definitions, constructions and applications. Theoretical Computer Science, Volume 820, 8 June 2020, Pages 91-122. LINK
• Chaya Ganesh, Bernardo Magri, Daniele Venturi: Cryptographic Reverse Firewalls for Interactive Proof Systems. Paper accepted at ICALP 2020. LINK

• Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan:  Minting Mechanisms for Proof of Stake Blockchains. Paper accepted at ACNS 2020. LINK

• 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 
• Chaya Ganesh, Claudio Orlandi, Daniel Tschudi, Aviv Zohar: Consensus based on Virtual ASICs. Paper accepted for TPBC20. 
• 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  
• Carsten Baum, Bernardo David, Rafael Dowsley, Jesper Buus Nielsen, Sabine Oechsner: Better Randomness Beacons and MPC with Financial Penalties from Time-Lock Puzzles. Paper accepted for TPBC20. 
• Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits: Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices. Paper accepted for TPBC20. LINK  
• Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for TPBC20. LINK

2019

• Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters: ConCert: A Smart Contract Certification Framework in Coq. Paper accepted for CPP 2019. LINK

  Dominic Deuber, Bernardo Magri and Sri Aravinda Krishnan Thyagarajan: Redactable Blockchain in the Permissionless Setting.  IEEE S&P 2019. LINK

• Diego Aranha and Elena Pagnin:  The Simplest Multi-key Linearly Homomorphic Signature Scheme. Latin Crypt 2019 LINK

• Riko Jacob, Kasper Green Larsen and Jesper Buus Nielsen: Lower Bounds for Oblivious Data Structures. SIAM 2019: 2439-2447    
• Thomas Dinsdale-Young, Bas Spitters, Søren Eller Thomsen and Daniel Tschudi. WIP: Formalizing the Concordium Consensus Protocol in Coq. CoqPL '19. LINK

• Simon Gregersen, Søren Eller Thomsen and Aslan Askarov. A Dependently Typed Library for Static Information-Flow Control in Idris. POST '19. LINK.

• Prastudy Fauzi, Sarah Meiklejohn, Rebekah Mercer, Claudio Orlandi. QuisQuis: A New Design for Anonymous Cryptocurrencies. AsiaCrypt 2019. LINK.

• Chaya Ganesh, Claudio Orlandi, Daniel Tschudi. Proof-of-Stake Protocols for Privacy-Aware Blockchains. EuroCrypt 2019. LINK

• Ivan Damgård, Chaya Ganesh, Claudio Orlandi. Proofs of Replicated Storage Without Timing Assumptions. Crypto 2019 LINK

• Danil Annenkov and Bas Spitters. Deep and Shallow Embeddings in Coq. Abstract accepted for TYPES19 2019 PDF

• Bernardo Magri, Christian Matt, Jesper Buus Nielsen and Daniel Tschudi. Afgjort: A Partially Synchronous Finality Layer for Blockchains. Technical Report, IACR ePrint.  

• Danil Annenkov and Bas Spitters. Towards a Smart Contract Verification Framework in Coq. PDF

• Jakob Botsch Nielsen and Bas Spitters. Smart Contract Interactions in Coq. PDF