JE

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

Publications

  1. 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
  2. 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