Locked Circuit Indistinguishability: A Notion of Security for Logic Locking.
Mohamed El MassadNahid JumaJonathan ShahenMariana RaykovaSiddharth GargMahesh TripunitaraPublished in: CSF (2022)
Keyphrases
- encryption scheme
- digital circuits
- logic synthesis
- delay insensitive
- logic circuits
- information security
- computational properties
- access control
- micron cmos
- security policies
- asynchronous circuits
- security requirements
- logic programming
- chip design
- electronic circuits
- truth table
- multi valued
- database systems
- security issues
- modal logic
- statistical databases
- key management
- equivalence relation
- classical logic
- information systems
- circuit design
- set theory
- t norm
- concurrency control
- formal model
- databases
- high speed
- distributed systems
- intrusion detection
- mathematical theory
- network security
- database