SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures.
Shuwen DengDoguhan GümüsogluWenjie XiongY. Serhan GenerOnur DemirJakub SzeferPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- high security
- information security
- access control
- security issues
- security policies
- network security
- intrusion detection
- real world
- statistical databases
- security requirements
- security mechanisms
- hardware architectures
- language learning
- model checking
- high assurance
- security analysis
- integrity verification
- security systems
- key management
- general purpose