JE

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

Publications

  1. SecDev
    JE
    Enclave-Based Secure Programming with JE
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In 2021 IEEE Secure Development (SecDev), SecDev, 2021
  2. 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
  3. 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