Online / 5 & 6 February 2022

visit

Pedro Antonino

Events

Title Day Room Track Start End
Symbolic Validation of SGX enclaves using Guardian
Avoid known enclave vulnerabilities by automatically checking for orderliness​
Saturday D.trusted-hardware Hardware-Aided Trusted Computing 12:00 12:25