Side-Channel Analysis via Symbolic Execution and Model Counting

ACM SIGSOFT Software Engineering Notes, Volume 43, Issue 4, 2018, Pages 55-55.

Cited by: 0|Bibtex|Views2|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments