Publications
  • Stranger: An Automata-based String Analysis Tool for PHP
    Fang Yu, Muath Alkhalaf, Tevfik Bultan
    Tool paper. To appear in the Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010).
  • Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
    Fang Yu, Muath Alkhalaf, Tevfik Bultan
    Short paper. In Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, NZ, Nov. 2009
    [ PDF | Poster ]
  • Symbolic String Verification: Combining String Analysis and Size Analysis
    Fang Yu, Tevfik Bultan, and Oscar H. Ibarra
    In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), York, UK, Mar. 2009
    [ PDF | Slides ]
  • Symbolic String Verification: An Automata-based Approach
    Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra
    In Proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), Los Angeles, CA, August 2008
    [ PDF | Slides ]