A Formally Verified Device Authentication Protocol Using Casper/FDR.

Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo

Browse the full TrustCom paper archive.