Department of Computer Science

Concordium Blockchain Research Center Aarhus (COBRA)

Aarhus University Seal
 Research Centers COBRA COBRA Events

COBRA Events

Future Events

No events found.

Past Events

TEST

25 Oct
Friday 25 October 2019, at 16:35

TEST

COBRA Seminar

22 Oct
Tuesday 22 October 2019, at 12:00 Nygaard-295 (build. 5335, room 295), Dept. of Computer Science, Åbogade 34, 8200 Aarhus N

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…

Page 3 of 3.

Revised 17.04.2023
-
Helena Luna Bach