The COBRA Seminars are bi-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 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.
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 | ||
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 |