Side-Channel Analysis via Symbolic Execution and Model Counting
ACM SIGSOFT Software Engineering Notes, Volume 43, Issue 4, 2018, Pages 55-55.
An important problem in computer security is the detection of side-channel vulnerabilities. Information gained by observing nonfunctional properties of program executions (i.e., sidechannels such as execution time or memory usage) can enable attackers to infer secrets that the program accesses (such as a password). In this talk, I will di...More
Full Text (Upload PDF)
PPT (Upload PPT)