A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR.

Mahdi Aiash

Browse the full NSS paper archive.