Logic Locking at the Frontiers of Machine Learning: A Survey on Developments and Opportunities.
Dominik SisejkovicLennart M. ReimannElmira MoussaviFarhad MerchantRainer LeupersPublished in: VLSI-SoC (2021)
Keyphrases
- machine learning
- artificial intelligence
- machine learning methods
- machine learning algorithms
- logic programming
- modal logic
- data mining
- predicate logic
- emerging technologies
- machine learning approaches
- text classification
- proof theory
- natural language processing
- computer science
- information extraction
- knowledge acquisition
- learning systems
- concurrency control
- genetic algorithm
- learning algorithm
- computational properties
- computer vision
- decision trees
- computational biology
- database systems
- data objects
- reinforcement learning
- knowledge representation
- model selection