Security-oriented program transformations to cure integer overflow vulnerabilities.
Zack Franklin CokerPublished in: SPLASH (2012)
Keyphrases
- buffer overflow
- information security
- security vulnerabilities
- security issues
- security problems
- security mechanisms
- security requirements
- intrusion detection
- security flaws
- security risks
- security systems
- access control
- security breaches
- countermeasures
- information systems
- network security
- attack scenarios
- security threats
- computer programs
- data corruption
- security policies
- floating point
- security level
- authentication scheme
- statistical databases
- security patterns
- security management
- early stage
- denial of service attacks
- rare events
- cyber security
- biometric systems
- static analysis