FSE 2014 Tutorial String Analysis Tevfik Bultan University of California, Santa Barbara, USA [email protected] Fang Yu National Chengchi University, Taiwan.
CS 290C: Formal Models for Web Software Lectures 17: Analyzing Input Validation and Sanitization in Web Applications Instructor: Tevfik Bultan.
Relational String Verification Using Multi-track Automata
String Analysis for Dependable Input Validation
Detecting and Repairing Security Vulnerabilities in Web Applications Tevfik Bultan (Joint work with Muath Alkhalaf, Fang Yu and Abdulbaki Aydin) 1 [email protected].