@inproceedings{bai2013authscan,
  title         = {AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations.},
  author        = {Bai, Guangdong and Lei, Jike and Meng, Guozhu and Venkatraman, Sai Sathyanarayan and Saxena, Prateek and Sun, Jun and Liu, Yang and Dong, Jin Song},
  booktitle     = {NDSS},
  year          = {2013}
}