Aarhus University Seal / Aarhus Universitets segl





  • 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 CoqPDF