2 papers
cs.CR2025
SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs
Ruiyi Zhang, Albert Cheu, Adria Gascon +4
Confidential virtual machines (CVMs) based on trusted execution environments (TEEs) enable new privacy-preserving solutions. Yet, they leave side-channel leakage outside their thre…
cs.PL2025
Compiling Away the Overhead of Race Detection
Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov +2
Dynamic data race detectors are indispensable for flagging concurrency errors in software, but their high runtime overhead limits their adoption. This overhead stems primarily from…