Logic Locking based Trojans: A Friend Turns Foe.
Yuntao LiuAruna JayasenaPrabhat MishraAnkur SrivastavaPublished in: CoRR (2023)
Keyphrases
- social networks
- classical logic
- logic programming
- social network analysis
- power law
- neural network
- artificial intelligence
- asynchronous circuits
- automated reasoning
- multi valued
- sound and complete axiomatization
- databases
- dynamic logic
- set theory
- computational properties
- social networking
- modal logic
- concurrency control
- bayesian networks
- learning algorithm