Verifying Hardware Security Modules with Information-Preserving Refinement.
Anish AthalyeM. Frans KaashoekNickolai ZeldovichPublished in: OSDI (2022)
Keyphrases
- information preserving
- low cost
- random number generator
- security requirements
- real time
- intrusion detection
- security patterns
- access control
- information security
- hardware and software
- modular structure
- statistical databases
- massively parallel
- windows xp
- computer systems
- network security
- security problems
- security level
- security issues
- security policies
- hardware implementation
- security mechanisms
- trusted computing
- embedded systems
- model checking
- computing power
- field programmable gate array
- hardware architecture
- network management
- security properties
- vlsi implementation
- modular architecture
- computer networks
- building blocks
- protection schemes