Andrew Ferraiuolo’s paper titled, “Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software” is accepted for publication at SOSP 2017. This is the work that Andrew did with Andrew Baumann, Chris Hawblitzel, and Bryan Parno while he was visiting Microsoft Research as an intern. Congratulations!
Andrew Ferraiuolo’s paper gets accepted for publication at SOSP 2017.