Symbolic path cost analysis for side-channel detection

Tegan Brennan
Tegan Brennan
Seemanta Saha
Seemanta Saha

ISSTA '18: International Symposium on Software Testing and Analysis Amsterdam Netherlands July, 2018, pp. 27-37, 2018.

Cited by: 11|Bibtex|Views1|Links
EI

Abstract:

Side-channels in software are an increasingly significant threat to the confidentiality of private user information, and the static detection of such vulnerabilities is a key challenge in secure software development. In this paper, we introduce a new technique for scalable detection of side- channels in software. Given a program and a cos...More

Code:

Data:

Your rating :
0

 

Tags
Comments