The COBRA Seminars are weekly seminars open to everyone with an interest in blockchain research.
The seminars takes place on Tuesdays from 12:00 to 13:00 in Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 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 |
|---|---|---|
| 14 April | Sophia Yakoubov and Bernardo Magri | Nuke-resilient MPC |
| 7 April | Cancelled due to Easter Holidays | |
| 31 March | tba | |
| 24 March | Daniel Feher | tba |
| 17 March | Bernardo Magri | Work in Progress Talk |
| 10 March | Peter F. Frandsen from Privacy BlockChain | tba |
| 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 | |
|---|---|---|---|
| 31 Dec | Christmas Break | ||
| 24 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 | ||
20. Aug. | Weekly meeting without talk | ||
13. Aug. | Aleš Bizjak | Execution model | |
6. Aug. | Thomas Dinsdale-Young | The implementation of consensus | |
30. July | Summer Break | ||
23. July | Summer Break | ||
16. July | Summer Break | ||
9. 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 |
