Login / Signup
Aiding Side-Channel Attacks on Cryptographic Software With Satisfiability-Based Analysis.
Nachiketh R. Potlapally
Anand Raghunathan
Srivaths Ravi
Niraj K. Jha
Ruby B. Lee
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2007)
Keyphrases
</>
information systems
computer systems
static analysis
data sets
neural network
user interface
computational complexity
data analysis
software engineering
statistical analysis
test cases
software systems
data acquisition
software architecture