Formal verification of authenticated, append-only skip lists in Agda.
Victor Cacciari MiraldoHarold CarrMark MoirLisandra SilvaGuy L. Steele Jr.Published in: CPP (2021)
Keyphrases
- formal verification
- model checking
- symbolic model checking
- key exchange protocol
- automated verification
- bounded model checking
- model checker
- program slicing
- authentication scheme
- key distribution
- key exchange
- functional verification
- artificial intelligence
- key agreement protocol
- distributed systems
- software engineering
- web services