TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans.
Fangzhou WangQijing WangLilas AlrahisBangqi FuShui JiangXiaopeng ZhangOzgur SinanogluTsung-Yi HoEvangeline F. Y. YoungJohann KnechtelPublished in: CoRR (2024)
Keyphrases
- random number generator
- digital circuits
- information security
- hardware and software
- low cost
- real time
- intrusion detection
- integrated circuit
- massively parallel
- access control
- computer systems
- trusted computing
- security issues
- computer security
- hardware implementation
- modal logic
- fine granularity
- security protocols
- classical logic
- network access
- protection scheme
- transaction processing systems
- computing systems
- security policies
- embedded systems
- database systems
- image processing
- security requirements
- statistical databases
- circuit design
- network security
- logic programming
- information systems
- windows xp
- database