An Offline Dictionary Attack against zkPAKE Protocol.
José BecerraPeter Y. A. RyanPetra SalaMarjan SkrobotPublished in: WISEC (2018)
Keyphrases
- key exchange protocol
- authentication protocol
- denial of service attacks
- real time
- lightweight
- coloured petri nets
- security protocols
- sparse representation
- countermeasures
- cryptographic protocols
- formal analysis
- network protocols
- narrative generation
- security analysis
- communication protocol
- application layer
- network simulator
- protocol specification