Symbolic path cost analysis for side-channel detection
ISSTA '18: International Symposium on Software Testing and Analysis Amsterdam Netherlands July, 2018, pp. 27-37, 2018.
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
Full Text (Upload PDF)
PPT (Upload PPT)