COBRA at ECC 2020

2020.10.29 | Malene B. B. Andersen

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/ 

COBRA