Systematic Trojan Detection in Crypto-Systems Using the Model Checker.

Hamed Hossein-Talaee Ali Jahanian Bijan Alizadeh

Published in: J. Circuits Syst. Comput. (2024)

Keyphrases

model checker
model checking
formal methods
expert systems
building blocks
data mining
knowledge based systems
image processing
control system
orders of magnitude
specification language
symbolic model checking