Sign in
Physical Logic Bombs in 3D Printers via Emerging 4D Techniques.
Tuan Le
Sriharsha Etigowni
Sizhuang Liang
Xirui Peng
H. Jerry Qi
Mehdi Javanmard
Saman A. Zonouz
Raheem Beyah
Published in:
ACSAC (2021)
Keyphrases
</>
classical logic
logic programming
modal logic
data mining
nonmonotonic logics
databases
computational properties
case study
nonmonotonic reasoning
multi valued
search engine
defeasible logic
physical systems
digital circuits
abductive reasoning
deontic logic
linear logic