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

Browse the full NDSS paper archive.