Minimal Kernel: An Operating System Architecture for {TEE} to Resist Board Level Physical Attacks
.
2019. Minimal Kernel: An Operating System Architecture for {TEE} to Resist Board Level Physical Attacks. 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). :105--120.