Loading Events

← Back to Events

KTH, Malvinas väg 6, Stockholm, Sweden

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

June 2019

ENTROPY 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 »
+ Export Events