Paper accepted at top conference CSF 2021
Success for CYSEC and CROSSING researchers
- 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 (CSF) will be held virtually from June 21 to 24, 2021. 34th IEEE Computer Security Foundations Symposium
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.