An Interactive Prover for Protocol Verification in the Computational Model.

David Baelde, Stphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solne Moreau

Browse the full SP paper archive.