Formal Verification of a Post-quantum Signal Protocol with Tamarin.

Hugo Beguinet, Cline Chevalier, Thomas Ricosset, Hugo Senet

Browse the full VECoS paper archive.