JE

Language-level abstractions for secure programming with Trusted Execution Environments.

Publications

  1. PAVeTrust
    JE
    Towards Democratizing Secure Enclave Programming
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In Program Analysis and Verification on Trusted Platforms, PAVeTrust, 2021
  2. SecDev
    JE
    Enclave-Based Secure Programming with JE
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In 2021 IEEE Secure Development, SecDev, 2021
  3. CSF
    JE
    Language Support for Secure Software Development with Enclaves
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In Proceedings of the 34th IEEE Computer Security Foundations Symposium, CSF, 2021
  4. PASS
    JE
    Language Support for Multiple Privacy Enhancing Technologies
    In Companion Proceedings of the 3rd International Conference on Art, Science, and Engineering of Programming, ‹Programming› Companion, 2019