Aarhus University Seal / Aarhus Universitets segl

COBRA Events

Future Events

No events found.

Past Events

Talk by visiting researcher Alexey Gotsman: Making BFT Consensus Live

3 Mar
Tuesday 3 March 2020, at 12:00 Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Title: Making BFT Consensus Live

Abstract: Partially synchronous BFT consensus protocols typically structure their execution into a sequence of…

Talk by visiting researcher Kristina Sojakova: IPDL: A Probabilistic Dataflow Logic for Cryptography

11 Feb
Tuesday 11 February 2020, at 12:00 Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Title: IPDL: A Probabilistic Dataflow Logic for Cryptography

Abstract:

While there have been many successes in verifying cryptographic security…

COBRA Seminar - Mathias Hall-Andersen on FastSwap

14 Jan
Tuesday 14 January 2020, at 12:00 Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Topic: FastSwap

Abstract: FastSwap is a simple and concretely efficient contingent payment scheme for complex predicates, inspired by FairSwap.…

COBRA Seminar: Talk by visiting researcher Karl Palmskog

10 Dec
Tuesday 10 December 2019, at 12:00 Nygaard-295 (building 5335, room 295), Department of Computer Science, Åbogade 34, 8200 Aarhus N

Speaker: Karl Palmskog, Researcher, KTH Royal Institute of Technology, Sweden  

Title: Formal Verification of Blockchains: From Consensus to Code

Ab…