Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods.
Marcel MertenSebastian HuhnRolf DrechslerPublished in: ETS (2022)
Keyphrases
- quality assessment
- formal methods
- protection mechanisms
- model checking
- sensitive data
- personal data
- data quality
- privacy preservation
- knowledge based systems
- formal specification
- human visual system
- software engineering
- artificial intelligence
- image quality
- image quality assessment
- asynchronous circuits
- video quality assessment
- database systems
- data objects
- visual quality
- modeling language
- personal information
- temporal logic
- third party
- xml documents