Login / Signup
Satisfiability-based framework for enabling side-channel attacks on cryptographic software.
Nachiketh R. Potlapally
Anand Raghunathan
Srivaths Ravi
Niraj K. Jha
Ruby B. Lee
Published in:
DATE Designers' Forum (2006)
Keyphrases
</>
smart card
software systems
analysis tool
artificial intelligence
knowledge base
lower bound
probabilistic model
software development
main contribution
software architecture
design patterns
software tools