Fang Yu 郁方
My research interests include string analysis, software verification, model checking, automata theory, and security.
I reviewed papers in CAV, TACAS, ASE, CIAA, LPAR, ICFEM, ATVA, INFINITY, etc.
Updated News (No longer maintained)
[Infinity in Taiwan] INFINITY 2011 is within a week, Taipei, Taiwan.
[Publication] “A Temporal Logic for the Interaction of Strategies.” Accepted by CONCUR 2011.
[Course] “Verification of String Manipulating Programs.” Lectures given in 2011 Formosan Summer School on Logic, Language, and Computation (FLOLAC 2011).
[Publication] “Relational String Verification Using Multi-Track Automata.” To appear in IJFCS.
[Publication] “String Abstractions for String Verification.” Accepted by SPIN2011.
[Program Committee Service] ATVA 2011 and INFINITY 2011 (co-chair) .
[SoSLab@NCCU] The Software Security Laboratory (SoSLab) is online now. Drop me an email if you are interested in joining us.
[Grant] An NSC Project: Symbolic String Verification: A Formal Approach for Automatic Detection and Removal of String-related Vulnerabilities in Web Applications.
[Publication] “Patching Vulnerabilities with Sanitization Synthesis.” Accepted by ICSE2011.
[Award] ACM Doctoral Dissertation Award Nomination, 2010.
[Study@UCSB] Here are my dissertation and defense slides.
[Tool] Our string analysis tool: STRANGER is online now. [Download]
~Life can be simple. Science can be natural.~
Last updated on July 10, 2011