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.


  1. CSF
    Language Support for Secure Software Development with Enclaves
    Aditya Oak, Amir M. Ahmadian, Musard Balliu, Guido Salvaneschi
    In 34th IEEE Computer Security Foundations Symposium, CSF 2021 2021
  2. Programming
    Language Support for Multiple Privacy Enhancing Technologies
    In Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming 2019
    Collaborative Broadcast in O(log log n) Rounds
    Christian Schindelhauer, Aditya Oak, Thomas Janson
    In Algorithms for Sensor Systems 2019