Formalizing Stack Safety as a Security Property.
Sean Noble AndersonRoberto BlancoLeonidas LampropoulosBenjamin C. PierceAndrew TolmachPublished in: CSF (2023)
Keyphrases
- intrusion detection
- information security
- network security
- computer security
- access control
- security issues
- security problems
- security measures
- security policies
- information assurance
- blind signature scheme
- high security
- intrusion detection system
- security analysis
- security systems
- security management
- security threats
- security mechanisms
- data security
- genetic algorithm
- functional requirements
- sensitive data
- statistical databases
- data management