Remote Attestation Assurance Arguments for Trusted Execution Environments. - Ahmad B. Usman; Nigel Cole; Mikael Asplund; Felipe Boeira; Christian Vestlund (SAT-CPS@CODASPY, 2023)

Update at Your Own Risk: Analysis and Recommendations for Update-Related Vulnerabilities. - Ahmad B. Usman; Mikael Asplund (SEC (2), 2025)