Symbolic path cost analysis for side-channel detection

Seemanta Saha
Seemanta Saha

ICSE (Companion Volume), pp. 424-425, 2018.

Cited by: 15|Bibtex|Views4|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments