Login / Signup
Verifying constant-time implementations by abstract interpretation.
Sandrine Blazy
David Pichardie
Alix Trieu
Published in:
J. Comput. Secur. (2019)
Keyphrases
</>
abstract interpretation
model checking
termination analysis
static analysis
active rules
active databases
reasoning engine
dynamic analysis
database
databases
high level
relational databases
knowledge representation
management system