Aarhus University Seal / Aarhus Universitets segl


The COBRA Seminars are bi-weekly seminars open to everyone with an interest in blockchain research.

This semester the seminars will take place from 13:00 to 14:00 in the Nygaard-295 (building 3553, room 295), Finlandsgade 23, , 8200 Aarhus N.  

A list of coming and previous talks is available below. If you would like to give a talk, please contact seminar organizer Søren Eller Thomsen.

If you would like to start receiving announcements of the seminars, please contact Malene B.B. Andersen.   


21 SeptemberDanilo Francati          tba


17-31 DecemberChristmas Break
3 DecemberMassimo Pizzol   Burn the world down with Bitcoin…or maybe not? Blockchain sustainability, from cryptocurrencies and beyond - Also available over Zoom https://aarhusuniversity.zoom.us/j/62742995508     
19 NovemberHamidreza KhoshaklaghBalancing Privacy and Accountability in Blockchain Transactions
5 NovemberStefan Hebsgaard and Caroline Lunemann  

The Concordium Testnet 3

29 OctoberCancelled due to COVID-19  
22 OctoberBernardo MagriThe Discriminating Miner Dilemma: Revisiting Liveness Guarantees under Content Discrimination
15 OctoberAutumn Break
1-8 OctoberCancelled due to COVID-19
24 SeptemberMikkel MiloRecent bZx iToken Attack Meets Property-based Testing (online talk)
17 SeptemberJesper Buus Nielsen Work in progress talk  
10 SeptemberNikolaj Ignatieff SchwartzbachAn Incentive-Compatible Smart Contract for Decentralized Commerce
3 SeptemberLunch Meeting
11 -27 August No seminar due to COVID-19  
2 June - 4 AugustSummer Break
14 April - 26 MayNo seminar due to COVID-19
7 AprilEaster Break
31 MarchKristina HostakovaGeneralized State Channel Networks (online talk)
23 MarchDaniel FeherHow private is a privacy-based blockchain? A study on Zcash (online talk)
17 MarchCancelled due to COVID-19
10 MarchPeter F. Frandsen from Privacy BlockChainHow to Keep Secrets on a Blockchain
3 MarchAlexey GotsmanMaking BFT Consensus Live
25 FebMichael Nielsen and Michael Olesen          Work in progress talks  
18 FebBas Spitters and Diego AranhaPresentation of BAN
11 FebKristina Sojakova     IPDL: A Probabilistic Dataflow Logic for Cryptography     
4 FebAdam B. HansenWork in progress talk
28 Jan

Simon H. Kamp and Nikolaj F. Knudsen     

Work in progress talks  
21 Jan

Aleš Bizjak.

Work in progress talk
14 JanMathias Hall-AndersenOn FastSwap


24 - 31 DecChristmas Break
17 DecNo Meeting
10 DecKarl PalmskogFormal Verification of Blockchains: From Consensus to Code  
3 DecBenjamin Hvass and Felix Wiemuth  Work in progress talks  
26 NovJakob B. Nielsen and Sabine Oechsner  Work in progress talks  
19 NovSøren Eller Thomsen and Thomas Dinsdale-YoungWork in progress talks  
12 Nov

Diego Aranha and Danil Annenkov

Work in progress talks
29 OctWeekly meeting without talk 
22 Oct.Weekly meeting without talk
15 Oct.Autumn Break
8. Oct.Daniele Friolo  The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains  
1. Oct.Weekly meeting without talk
24. Sept.Claudio Orlandi (stand in for Chaya)Proofs of Replicated Storage Without Timing Assumptions
17. Sept.Anca NitulescuTutorial on SNARKS     
10. Sept.Chaya GaneshProofs of Replicated Storage Without Timing Assumptions (talk cancelled due to sickness)  
3. Sept.Daniel TschudiPrivate POS    

27. Aug.

Reza Sefidgar

Formalizing Constructive Cryptography using CryptHOL  

20. Aug.

Weekly meeting without talk

13. Aug.

Aleš Bizjak 

Execution model  

6. Aug.

Thomas Dinsdale-Young

The implementation of consensus  

9-30 July

Summer Break  

2. July

Diego Aranha

Implement all the pairings! (Part 2)  

25. June

Ueli Maurer

Full day on constructive cryptography  

18. June

Jakob Botsch

Formalizing smart contract execution in Coq  

11. June

Ivan Damgård

UC: Basics  

4. June

Diego Aranha

Implement all the pairings! (Part 1)  

28. May

Theory and Practice of Blockchain Workshop   


21. May

Søren Eller Thomsen

Discussion: Connecting Formal Proofs with Running Code  

14. May

Jesper Buus Nielsen

The Concordium Finality Layer  

7. May

Bernardo Magri

Minting Mechanisms for Blockchain -- or -- Moving from Cryptoassets to Cryptocurrencies  

23. April 

Thomas Dinsdale-Young

Block and state hashing  

9. April 

Danil Annenkov

Using MetaCoq for smart contract formalization  

26. March

Søren Eller Thomsen

WIP: Formalizing the Concordium Consensus Protocol in Coq  

Seminar Organizer

Adminstrative Support