Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives.
Mathy VanhoefFrank PiessensPublished in: WOOT @ USENIX Security Symposium (2018)
Keyphrases
- security protocols
- symbolic execution
- static analysis
- test generation
- test data generation
- security properties
- cryptographic algorithms
- source code
- specification language
- security services
- security mechanisms
- key management
- authentication protocol
- artificial immune algorithm
- data flow
- high level
- general purpose
- simulated annealing algorithm
- quality control
- test cases
- multi agent systems