Verifying and Fixing Password Authentication Protocol.

Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng

Browse the full SNPD paper archive.