Logic Obfuscation using Metasurface Holography.

Mahabubul Alam Yimin Ding Xingjie Ni Swaroop Ghosh

Published in: MWSCAS (2019)

Keyphrases

computer generated
modal logic
reverse engineering
logic programming
static analysis
malware detection
classical logic
logical framework
multi valued
probability theory
case study
predicate logic
automated reasoning
data sets
information retrieval
machine learning
data mining