Formal Verification of a Post-quantum Signal Protocol with Tamarin.
Hugo BeguinetCéline ChevalierThomas RicossetHugo SenetPublished in: VECoS (2023)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- bounded model checking
- symbolic model checking
- automated verification
- signal processing
- frequency domain
- program slicing
- quantum computation
- high frequency
- formal analysis
- software engineering
- non stationary
- functional verification