The COBRA Seminars are bi-weekly seminars open to everyone with an interest in blockchain research.
The seminars are currently on hold. A list of previous seminar talks is available below.
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 |
