Fang Yu 郁方Ph.D. Candidate Advisor: Tevfik Bultan
Department
of Computer Science |
|
Research Family |
Updated News
[Award] (1) ETAPS 2009 Scholarship. (2) UCSB Dean's Fellowship (2008-2009).
[Publication] (1) "Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses." ASE 2009. [pdf]
(2) "Symbolic String Verification: Combining String Analysis and Size Analysis." TACAS 2009. [pdf]
(3) "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." FSE 2008. [doi]
(4) "Symbolic String Verification: An Automata-based Approach." SPIN 2008. [pdf]
~Life can be simple. Science can be natural.~
Last updated on Sep. 28, 2009