Aarhus University Seal / Aarhus Universitets segl

News

Private photo

COBRA at ECC 2020

2020.10.29Associate Professor Bas Spitters just participated on an online panel at the ECC 2020 workshop discussing formal verification of ECC implementations. You can watch the panel discussion here:  https://www.youtube.com/watch?v=Qdel7x2ofMY Further details on the workshop can be found…

Welcome to Nikolaj Sidorenco

2020.08.21On August 1st, 2020, Nicolaj Sidorenco joined COBRA at Department of Computer Science, Aarhus University. Nicolaj Sidorenco will be working on basic research in high assurance cryptography including high assurance cryptographic protocols and implementations. 

Philipp G. Haselwarter: New Postdoc at Department of Computer Science. Photo: private

Welcome to Philipp G. Haselwarter

2020.08.21Welcome to Philipp G. Haselwarter who joined the Department of Computer Science in June 2020 as a Postdoc.  Philipp G. Haselwarter has PhD degree from University of Ljubljana (Slovenia) . His research is about the interplay of type theory, proof assistants, and programming languages, and more…

Welcome to Adam B. Hansen

2020.07.01Adam B. Hansen has joined COBRA at Department of Computer Science, Aarhus University, as a PhD student from July 1, 2020.

Professor Ivan Damgård. Photo by Simon Knudsen

PKC Test-of-Time Award to Ivan Damgård

2020.06.04Congratulations to Professor Ivan Damgård who yesterday was awarded the PKC (the Public Key Cryptography conference ) Test of Time Award. The award recognizes outstanding papers, published in PKC about 15 years ago, making a significant contribution to the theory and practice of public key…

TPBC20 - Cancelled due to COVID-19

2020.03.15As a consequence of the COVID-19 situation, it has been decided to cancel TPBC20 on the scheduled dates. Once we have more information about the situation, we will consider rescheduling the event to a date later this year. Further updates will be announced on the TPBC20 website …

TPBC20 - Accepted talks announced

2020.03.09The accepted talks for TPBC20 have been announced. COBRA researchers are represented in five out of 20 accepted talks. Find the list of accepted talks on the TPBC20 website  https://eventum.upf.edu/43438/section/24485/theory-and-practice-of-blockchains.html

Events

No articles found in this list