Aarhus University Seal / Aarhus Universitets segl

COBRA SEMINARS

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

This semester the seminars will take place on Tuesdays from 12:15 to 13:00 in 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 Simon H. Kamp.

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

2022

DATE SPEAKER TOPIC or TITLE
5 April Dankrad Feist from Ethereum Foundation

The next 10 years in Ethereum

The talk will be held from 14:15-15:00 in Nygaard-295

11 January Nikolaj I. Schwartzbach

Blockchain Oracles: Adjudication with Rational Jurors

The talk will also be held over Zoom. Contact the organisers if you would like to receive a link

2021

DATE SPEAKER TOPIC or TITLE
14 December Simon H. Kamp

Enig: Player Replaceable Finality Layers with Optimal Validity

The talk will be held in Lille Aud (5510-104)

30 November Mathias Hall-Andersen How confidential transactions based on Veksel could work in Concordium
16 November Jesper Buus Nielsen
26 October Vincenzo Botta Shielded Computations in Smart Contracts Overcoming Forks
5 October Danil Annenkov Smart contracts in a proof assistant
21 September Danilo Francati           Arcula: A Secure Hierarchical Deterministic Wallet

2020

Date Speaker Topic
17-31 December Christmas Break
3 December Massimo 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 November Hamidreza Khoshaklagh Balancing Privacy and Accountability in Blockchain Transactions
5 November Stefan Hebsgaard and Caroline Lunemann  

The Concordium Testnet 3

29 October Cancelled due to COVID-19  
22 October Bernardo Magri The Discriminating Miner Dilemma: Revisiting Liveness Guarantees under Content Discrimination
15 October Autumn Break
1-8 October Cancelled due to COVID-19
24 September Mikkel Milo Recent bZx iToken Attack Meets Property-based Testing (online talk)
17 September Jesper Buus Nielsen  Work in progress talk  
10 September Nikolaj Ignatieff Schwartzbach An Incentive-Compatible Smart Contract for Decentralized Commerce
3 September Lunch Meeting
11 -27 August  No seminar due to COVID-19  
2 June - 4 August Summer Break
14 April - 26 May No seminar due to COVID-19
7 April Easter Break
31 March Kristina Hostakova Generalized State Channel Networks (online talk)
23 March Daniel Feher How private is a privacy-based blockchain? A study on Zcash (online talk)
17 March Cancelled due to COVID-19
10 March Peter F. Frandsen from Privacy BlockChain How to Keep Secrets on a Blockchain
3 March Alexey Gotsman Making BFT Consensus Live
25 Feb Michael Nielsen and Michael Olesen           Work in progress talks  
18 Feb Bas Spitters and Diego Aranha Presentation of BAN
11 Feb Kristina Sojakova      IPDL: A Probabilistic Dataflow Logic for Cryptography     
4 Feb Adam B. Hansen Work 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 Jan Mathias Hall-Andersen On FastSwap

2019

Date
Speaker
Topic
24 - 31 Dec Christmas Break
17 Dec No Meeting
10 Dec Karl Palmskog Formal Verification of Blockchains: From Consensus to Code  
3 Dec Benjamin Hvass and Felix Wiemuth   Work in progress talks  
26 Nov Jakob B. Nielsen and Sabine Oechsner   Work in progress talks  
19 Nov Søren Eller Thomsen and Thomas Dinsdale-Young Work in progress talks  
12 Nov

Diego Aranha and Danil Annenkov

Work in progress talks
29 Oct Weekly 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 Nitulescu Tutorial on SNARKS     
10. Sept. Chaya Ganesh Proofs of Replicated Storage Without Timing Assumptions (talk cancelled due to sickness)  
3. Sept. Daniel Tschudi Private 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