Our paper “Language Support for Secure Software Development with Enclaves” got accepted at CSF ‘21.