MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

SignalDoubleRatchetVerif
Automated formal analysis of Signal’s Double Ratchet: attacks, fixes and security proofs
Sources
Related publications