- Language Support for Secure Software Development with Enclaves
by Aditya Oak; Amir M. Ahmadian; Musard Balliu; and Guido Salvaneschi
has been accepted for publication at the top conference CSF 2021.
The 34th IEEE Computer Security Foundations Symposium (CSF) will be held virtually from June 21 to 24, 2021.
The conference is an annual event for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.