Side-channel Programming for Software Integrity Checking.
Hong LiuEugene Y. VassermanPublished in: EAI Endorsed Trans. Security Safety (2021)
Keyphrases
- integrity checking
- integrity constraints
- deductive databases
- hard and soft constraints
- programming language
- software systems
- constraint logic programming
- computer software
- fully functional
- programming environments
- constraint satisfaction
- artificial intelligence
- general purpose
- software development
- logic programming
- countermeasures