Yongqiang Lyu

Model Checking for Microarchitectural Data Sampling Security

2022

A new class of transient execution-based attacks, as known as Microarchitectural Data Sampling (MDS), were discovered in recent studies, such as RIDL, Fallout, and ZombieLoad, which have imposed severe threats to general-purpose processors. In MDS …

VeriCache: Formally Verified Fine-Grained Partitioned Cache for Side-Channel-Secure Enclaves

2025 · IEEE Transactions on Dependable and Secure Computing

Cache side-channel attacks significantly threaten the security of TEE-enabled secure architectures such as Intel SGX due to the shared cache resources between the attacker and victim processes. Fine-grained partitioned caches are presented to prevent these …