Formal Security Analysis of the AMD SEV-SNP Software Interface.
Petar ParadzikAnte DerekMarko HorvatPublished in: CoRR (2024)
Keyphrases
- security analysis
- smart card
- public key
- security requirements
- user authentication
- authentication protocol
- high security
- software systems
- security properties
- formal methods
- formal model
- image encryption
- computer systems
- mutual authentication
- authentication scheme
- software architecture
- encryption scheme
- anomaly detection
- source code
- low cost
- high dimensional