Aarhus University Seal / Aarhus Universitets segl

COBRA Events

Future Events

No events found.

Past Events

COBRA Seminar - Daniele Friolo: The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains

8 Oct
Tuesday 8 October 2019, at 12:00 Hopper-128 (building 5346, room 128), Dept. of Computer Science, Åbogade 34, 8200 Aarhus N

Title: The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains

Abstract: 

We investigate the security of smart contracts…

Talk by visiting researcher Thomas Sibut-Pinote on Mechanizing the Semantics of Tezos’ Bytecode in F*

29 Aug
Thursday 29 August 2019, at 14:30 Nygaard-295 (building 5335, room 295), Dept. of Computer Science, Åbogade 34, 8200 Aarhus N

Title: Mechanizing the Semantics of Tezos’ Bytecode in F*

Abstract:  In this presentation from 2017, I will recall work done during an internship…

Talk by visiting researcher Seyed Reza Sefidgar on Formalizing Constructive Cryptography using CryptHOL

27 Aug
Tuesday 27 August 2019, at 12:00 Nygaard-295 (building 5335, room 295), Åbogade 34, 8200 Aarhus N

Title: Formalizing Constructive Cryptography using CryptHOL

Abstract: Computer-aided cryptography increases the rigour of cryptographic proofs by…