UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices. - Liam Tyler; Ivan De Oliveira Nunes (CoRR, 2023)

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. - Adam Caulfield; Liam Tyler; Ivan De Oliveira Nunes (ACSAC, 2024)

Towards Browser Controls to Protect Cookies from Malicious Extensions. - Liam Tyler; Ivan De Oliveira Nunes (CoRR, 2024)

Untrusted Code Compartmentalization for Bare Metal Embedded Devices. - Liam Tyler; Ivan De Oliveira Nunes (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations. - Liam Tyler; Adam Caulfield; Ivan De Oliveira Nunes (CoRR, 2025)