Aarhus University Seal

COBRA at ECC 2020

Private photo

Associate 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 here: https://eccworkshop.org/2020/