Gray-Box Software Integrity Checking via Side-Channels.

Hong Liu Eugene Y. Vasserman

Published in: SecureComm (2017)

Keyphrases

integrity checking
integrity constraints
software development
deductive databases
software systems
semantic query optimization
hard and soft constraints
expert systems
constraint logic programming
source code
query optimization
query answering