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

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