VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.
Anna Lena Duque AntónJohannes MüllerPhilipp SchmitzTobias JauchAlex WezelLucas DeutschmannMohammad Rahmani FadihehDominik StoffelWolfgang KunzPublished in: CoRR (2024)
Keyphrases
- high security
- formal methods
- java card
- integrity verification
- information security
- security issues
- network security
- cryptographic protocols
- formal analysis
- security analysis
- security policies
- statistical databases
- model checking
- security requirements
- image encryption
- information assurance
- security systems
- high assurance
- security management
- protocol specification
- neural network
- security properties
- face verification
- intrusion detection
- web services
- malware detection
- computer security
- security problems
- security mechanisms
- formal specification
- information systems
- database