COBRA at ECC 2020
![](/fileadmin/news_import/Bas.jpg)
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/