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