2020.10.29 |

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/