Paper accepted at top conference CSF 2021


Success for CYSEC and CROSSING researchers

The paper

  • 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.

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.