Automating Computational Proofs for Public-Key-Based Key Exchange.

Long Ngo, Colin Boyd, Juan Manuel Gonzlez Nieto

Browse the full ProvSec paper archive.