FOSDEM22
Home
About
News
Schedule
Stands
Volunteer
Practical
Online
/
5 & 6 February 2022
visit
News
Sponsors
Contact
FOSDEM 2022
/
Schedule
/
Speakers
/
Pedro Antonino
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