Verifying Constant-Time Implementations by Abstract Interpretation.

Sandrine Blazy, David Pichardie, Alix Trieu

Browse the full ESORICS paper archive.