Eliminating timing side-channel leaks using program repair.

Meng Wu Shengjian Guo Patrick Schaumont Chao Wang

Published in: ISSTA (2018)

Keyphrases

leak detection
countermeasures
database
computer programs
data sets
artificial intelligence
search algorithm
logic programs
information flow
program execution
damage assessment