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.