MSc Aditya Oak

MSc Aditya Oak

MSc Aditya Oak
+49 6151 16-21363

Hochschulstr. 10
64289 Darmstadt, Germany

My research interests include Programming Languages, Information Flow Control and Trusted Execution Environments. I am currently working on language abstractions for secure programming with trusted execution environments under the project CROSSING.

I am one of the developers of the JE language—a language for secure Java programming with Intel SGX.


  1. SecDev
    Enclave-Based Secure Programming with JE
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In 2021 IEEE Secure Development, SecDev, 2021
  2. CSF
    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
    Collaborative Broadcast in 𝓞(log log n) Rounds
    Christian Schindelhauer, Aditya Oak, Thomas Janson
    In Proceedings of the International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS, 2019
  4. PASS
    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