@InProceedings{felmetsger10:logic,
  author = 	 {Vika Felmetsger and Ludovico Cavedon and Christopher Kruegel and Giovanni Vigna},
  title = 	 {{Toward Automated Detection of Logic Vulnerabilities in Web Applications}},
  booktitle = {Proceedings of the USENIX Security Symposium},
  address = {Washington, DC},
  year = 	 2010,
  month = 	 {August}}