Automating hardware security property generation: invited.
Ryan KastnerFrancesco RestucciaAndres MezaSayak RayJason M. FungCynthia SturtonPublished in: DAC (2022)
Keyphrases
- random number generator
- low cost
- information security
- intrusion detection
- access control
- hardware and software
- blind signature scheme
- real time
- security issues
- statistical databases
- security policies
- computer systems
- security systems
- computer security
- computing power
- security problems
- security level
- image processing
- security requirements
- network security
- generation process
- hardware implementation
- security threats
- vlsi implementation
- windows xp
- key management
- invited talk
- cyber security
- security model
- massively parallel
- computing systems
- security properties
- computational intelligence
- protection scheme