Dawn Song gave a nice keynote about the open-source secure enclave at Workshop on Inter-Disciplinary Research Challenges in Computer Systems, which is NSF-Sponsored Community Vision Workshop co-located with ASPLOS 2018.
Keynote: Towards An Open-Source, Formally-Verified Secure Enclave
Date: March 24, 2018