COBRA at ECC 2020

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/