2020.08.21 — On 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.
Welcome to Philipp G. Haselwarter
2020.08.21 — Welcome 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…
2020.07.01 — Adam B. Hansen has joined COBRA at Department of Computer Science, Aarhus University, as a PhD student from July 1, 2020.
PKC Test-of-Time Award to Ivan Damgård
2020.06.04 — Congratulations 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.15 — As 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.09 — The 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
2020.02.24 —
COBRA Sponsor of the BIU Winter School 2020
2020.02.05 —
2020.01.20 — This week the COBRA researchers Danil Annenkov, Jakob Botsch Nielsen and Bas Spitters are attending the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP2020) in New Orleans where they will present the paper ConCert: A Smart Contract Certification…
No articles found in this list
