Symbolic path cost analysis for side-channel detection
ICSE (Companion Volume), pp. 424-425, 2018.
We present a static, scalable analysis technique for detecting side channels in software systems. Our method is motivated by the observation that a sizable class of side-channel vulnerabilities occur when the value of private data results in multiple distinct control flow paths with differentiable observables. Given a set of secret variab...More
Full Text (Upload PDF)
PPT (Upload PPT)