OS Security & Formalisms

Title Speakers Conference Tags
ProFactory: Improving IoT Security via Formalized Protocol Customization Fei Wang , Jianliang Nan USENIX Security-2022 - Boston, MA OS Security & Formalisms
ÆPIC Leak: Architecturally Leaking Uninitialized Data from the Microarchitecture Pietro Borrello USENIX Security-2022 - Boston, MA OS Security & Formalisms
SAPIC+: protocol verifiers of the world, unite! Vincent Cheval USENIX Security-2022 - Boston, MA OS Security & Formalisms