VeriSMo: A Verified Security Module for Confidential VMs.
Ziqiao Zhou AnjaliWeiteng ChenSishuai GongChris HawblitzelWeidong CuiPublished in: OSDI (2024)
Keyphrases
- statistical databases
- confidential information
- sensitive data
- access control
- information security
- security issues
- information assurance
- inference control
- virtual machine
- network security
- security policies
- original data
- intrusion detection
- confidential data
- security systems
- information loss
- security requirements
- information systems
- data perturbation
- security protocols
- data security
- neural network
- data sets
- databases
- computer security
- data privacy
- numerical data
- sensitive information