by Frederic | Jun 17, 2019
Since 1980, the IEEE Symposium on Security and Privacy has been the premier forum for presenting developments in computer security and electronic privacy, and for bringing together researchers and practitioners in the field. Following this story of success, IEEE...
by Frederic | Mar 16, 2018 | News
Mads Dam gave a PhD course on provable security for low level execution platforms at the Bertinoro International Spring School 2018 (in March 2018). Abstract: Much attention has been paid in the recent years to the problem of verification for various types of low...
