Loading Events

← Back to Events

June 2019


June 16
KTH, Malvinas väg 6, Stockholm, Sweden, Malvinas väg 6
Stockholm, 114 28 Sweden
+ Google Map

ENTROPY 2019 Workshop - ENabling TRust through Os Proofs... and beYond Low level software such as kernels and drivers, along with the hardware this software runs on, is critical for application security. In contrast with user applications, OS kernel software runs in privileged CPU mode and is thus highly critical. Large projects such as seL4, VeriSoft, CertiKoS and Prosper have invested considerable resources in developing formally verified systems such as hypervisors and microkernels, supplying proofs that they satisfy critical properties.…

Find out more »

EuroS&P 2019 (Security and Privacy) at KTH

June 17 - June 19
KTH (Lindstedtsvägen 3), Lindstedtsvägen 3
Stockholm, 100 44 Sweden
+ Google Map

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 initiated the European Symposium on Security and Privacy (EuroS&P), which is organized every year in a European city. The 4th EuroS&P edition will be held on June 17-19, 2019 in Stockholm, at the KTH main campus. More info: https://www.ieee-security.org/TC/EuroSP2019/    

Find out more »
+ Export Events