Aarhus University Seal / Aarhus Universitets segl

COBRA SEMINARS

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

The seminars takes place on Thursdays from 12:00 to 13:00 in the INCUBA basement, Åbogade 15, 8200 Aarhus N.

A list of upcoming as well as previous talks is available below - If you want 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.   

2020

DateSpeakerTopic
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 BlockChain How to Keep Secrets on a Blockchain
3 MarchAlexey GotsmanMaking BFT Consensus Live
25 Feb Michael 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

2019

Date
Speaker
Topic
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.Atumn 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 Ganesh Proofs 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