Formal Analysis of Secure Device Pairing Protocols.

Trung Nguyen, Jean Leneutre

Browse the full NCA paper archive.