Language-level abstractions for secure programming with Trusted Execution Environments.
Towards Democratizing Secure Enclave ProgrammingIn Program Analysis and Verification on Trusted Platforms, PAVeTrust, 2021
Enclave-Based Secure Programming with JEIn 2021 IEEE Secure Development, SecDev, 2021
Language Support for Secure Software Development with EnclavesIn Proceedings of the 34th IEEE Computer Security Foundations Symposium, CSF, 2021
Language Support for Multiple Privacy Enhancing TechnologiesIn Companion Proceedings of the 3rd International Conference on Art, Science, and Engineering of Programming, ‹Programming› Companion, 2019