Science
Publications

Concordium’s vision is to unlock the potential of blockchain

for the future economy.

Concordium is deeply rooted in science and brings to the world tech advancements on all levels of the protocol, resulting in a blockchain unmatched in cryptographic security and transaction speed.

Overview of science papers from 
the Concordium Blockchain Research Center Aarhus:


2019

Dominic Deuber, Bernardo Magri and Sri Aravinda Krishan Thyagarajan:

Redactable Blockchain in the Permissionless Setting

IEEE S&P 2019

LINK

LatinCrypto2019

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

LINK

Bernardo Magri, Christian Matt, Jesper Buus Nielsen and Daniel Tschudi:

Afgjort: A Partially Synchronous Finality Layer for Blockchains

Technical Report

 IACR ePrint.

PDF

Jakob Botsch Nielsen and Bas Spitters:

Smart Contract Interactions in Coq

PDF

Danil Annekov, Jakob Botsch Nielsen, Bas Spitters

ConCert: A Smart Contract Certification Framework in Coq