AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. - Guangdong Bai; Jike Lei; Guozhu Meng; Sai Sathyanarayan Venkatraman; Prateek Saxena; Jun Sun 001; Yang Liu 003; Jin Song Dong (NDSS, 2013)