AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations

Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong

Abstract: Author(s): Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, and Jin Song Dong Download: Paper (PDF) Date: 23 Apr 2013 Document Type: Presentations Additional Documents: Slides Associated Event: NDSS Symposium 2013 Abstract: This paper addresses the problem of automatically extracting specifications from implementations and finding security flaws in … Continued