 Heckler: Breaking Confidential VMs with Malicious InterruptsUSENIX Security Symposium (USENIX Security), 2024 |
 Formal Security Analysis of the AMD SEV-SNP Software InterfaceIEEE Transactions on Dependable and Secure Computing (IEEE TDSC), 2024 |
 Abusing Processor Exception for General Binary Instrumentation on
Bare-metal Embedded DevicesDesign Automation Conference (DAC), 2023 |
 faulTPM: Exposing AMD fTPMs' Deepest SecretsEuropean Symposium on Security and Privacy (Euro S&P), 2023 |
 Oops..! I Glitched It Again! How to Multi-Glitch the
Glitching-Protections on ARM TrustZone-MUSENIX Security Symposium (USENIX Security), 2023 |
 GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution
EnvironmentsIEEE International Conference on Cloud Computing (CLOUD), 2022 |
