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.
Towards Democratizing Secure Enclave ProgrammingIn Program Analysis and Verification on Trusted Platforms, PAVeTrust, 2021
Enclave-Based Secure Programming with JEIn Proceedings of the 2021 IEEE Secure Development Conference, SecDev, 2021
Language Support for Secure Software Development with EnclavesIn Proceedings of the 34th IEEE Computer Security Foundations Symposium, CSF, 2021
Collaborative Broadcast in 𝓞(log log n) RoundsIn Proceedings of the International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS, 2019
Language Support for Multiple Privacy Enhancing TechnologiesIn Companion Proceedings of the 3rd International Conference on Art, Science, and Engineering of Programming, ‹Programming› Companion, 2019