|
English
|
正體中文
|
简体中文
|
2826208
|
|
???header.visitor??? :
31900075
???header.onlineuser??? :
1528
???header.sponsordeclaration???
|
|
|
???tair.name??? >
???browser.page.title.author???
|
"alkhalaf muath"???jsp.browse.items-by-author.description???
Showing items 1-3 of 3 (1 Page(s) Totally) 1 View [10|25|50] records per page
國立政治大學 |
2017-12 |
String Analysis for Software Verification and Security
|
Bultan, Tevfik; 郁方; Yu, Fang; Alkhalaf, Muath |
國立政治大學 |
2013.06 |
Automata-Based Symbolic String Analysis for Vulnerability Detection
|
郁方; Yu, Fang ; Alkhalaf, Muath ; Bultan, Tevfik ; Ibarra, Oscar H. |
國立政治大學 |
2011-05 |
Patching vulnerabilities with sanitization synthesis
|
Yu, Fang;Alkhalaf, Muath;Bultan, Tevfik; 郁方 |
Showing items 1-3 of 3 (1 Page(s) Totally) 1 View [10|25|50] records per page
|