Fang Yu 郁方

Assistant Professor

Software Security Laboratory

Dept. of MIS
College of Commerce
National Chengchi University

My CV

My Public Key

yuf at nccu edu tw

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.




Research

Biography

Activity

Publications

Projects

Teaching

Courses

Family

Photo



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