SAIL: Analyzing Structural Artifacts of Logic Locking Using Machine Learning.
Prabuddha ChakrabortyJonathan CruzAbdulrahman AlaqlSwarup BhuniaPublished in: IEEE Trans. Inf. Forensics Secur. (2021)
Keyphrases
- machine learning
- high quality
- learning algorithm
- concurrency control
- classical logic
- structural information
- pattern recognition
- machine learning methods
- machine learning approaches
- database systems
- modal logic
- logic programming
- predicate logic
- machine learning algorithms
- knowledge acquisition
- computational intelligence
- text mining
- data analysis
- explanation based learning
- data objects
- inductive logic programming
- fine granularity
- distributed databases
- learning problems
- learning systems
- information extraction
- computer science
- decision trees
- computer vision
- data mining
- statistical methods
- natural language processing
- active learning
- automated reasoning
- artificial intelligence
- digital circuits
- garbage collection
- neural network