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.
Language Support for Secure Software Development with EnclavesIn 34th IEEE Computer Security Foundations Symposium, CSF 2021 2021
Language Support for Multiple Privacy Enhancing TechnologiesIn 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) RoundsIn Algorithms for Sensor Systems 2019