Verifying Constant-Time Implementations by Abstract Interpretation.

Sandrine Blazy David Pichardie Alix Trieu

Published in: ESORICS (1) (2017)

Keyphrases

abstract interpretation
model checking
termination analysis
static analysis
dynamic analysis
active rules
reasoning engine
databases
active databases