Aarhus University Seal / Aarhus Universitets segl


COBRA presenting at CPP 2020

2020.01.20This 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…

TPBC20 - Call for Papers

2020.01.12TPBC20 invites contributed talks in all sub-themes of consensus protocols, zero-knowledge proofs, privacy and anonymity-preserving techniques, language design and semantics for smart contracts, formal verification of cryptographic protocols and implementations, and other related topics. The…

Theory and Practice of Blockchains 2020

2020.01.02From April 20th to 22nd, Department of Information and Communication Technologies at Pompeu Fabra University will host the workshop Theory and Practice of Blockchains 2020 (TPBC20) in collaboration with COBRA.  TPBC20 will bring together researchers working on the theory and…

Visiting Researcher - Karl Palmskog

2019.12.06 Karl Palmskog will be visiting COBRA from 10 to 11 December. He is a researcher in the Secure and Trustworthy Execution Platform group at KTH Royal Institute of Technology in Stockholm, Sweden, working on formal verification of system software. He was previously a postdoc at The University of…

Concordium AG visiting COBRA

2019.11.28This week from 28 to 30 November Daniel Tschudi and Christian Matt from Concordium AG will be visiting COBRA.

Jesper Buus Nielsen

Meet the man behind the new Danish blockchain

2019.11.13Jesper Buus Nielsen and his team work hard on their blockhcain research. The plan is for Concordium to launch their product in 2020, and if all go according to plan it could revolutionize the way deals and transactions are verified - and make DK a pioneer country within fintech [article in Danish].

COBRA presenting for Datalogiforeningen

2019.11.04On Saturday November 2nd, the COBRA researchers Bas Spitters and Danil Annenkov gave a presentation about blockchain technology for the Danish association Datalogiforeningen. Further details about the event and the association can be found here: …

COBRA at Driving IT 2019

2019.10.28On Friday November 1st, Postdoc Sabine Oechsner will give a talk about Blockchain Research at Aarhus University at the annual conference for IT professionals Driving IT 2019. In the talk Sabine will give an overview of the research activities in COBRA. Driving IT 2019 is hosted by IDA, a…

Visiting Researcher - Daniel Tschudi

2019.10.10Daniel Tschudi from Concordium AG will visit COBRA as visiting researcher from October 12 to 19, 2019.

COBRA Researchers Presenting at FMBC19

2019.10.08On Friday this week the COBRA researchers Jakob Botsch Nielsen, Danil Annenkov and Bas Spitters will give two lectures at FMBC19: "Towards a Smart Contract Verification Framework in Coq" and "Smart Contract Interactions in Coq". FMBC19 is the 1st Workshop on Formal…


No articles found in this list