Chaojian Hu

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 …