Protocol Fuzzing With Specification Guided Message Generation.
Senyi LiJunqiang LiJingxuan FuMingwu XueHongfang YuGang SunPublished in: UCET (2021)
Keyphrases
- protocol specification
- message delivery
- messages exchanged
- agent communication language
- lightweight
- formal specification
- formal methods
- formal analysis
- communication infrastructure
- cryptographic protocols
- state machines
- authentication protocol
- network protocols
- commit protocols
- neural network
- specification language
- generation process
- end to end
- mobile devices