This page contains links to my published papers. More to come!

• Steel: Composable Hardware-based Stateful and Randomised Functional Encryption - Pramod Bhatotia and Markulf Kohlweiss and Lorenzo Martinico and Yiannis Tselekounis PKC 2021 Full version (PDF) Slides Cite (conference version) Cite (full version)
• Glass-Vault: A Generic Transparent Privacy-preserving Exposure Notification Analytics Platform - Lorenzo Martinico and Aydin Abadi and Thomas Zacharias and Thomas Win (Unpublished) ePrint (PDF) Cite
• Towards a modular design of formal abstractions for trusted execution environments (Unpublished) - presented at the PAVeTrust 2023 Workshop
• AGATE: Augmented Global Attested Trusted Execution for the Universal Composability framework - ePrint version