|
English
|
正體中文
|
简体中文
|
總筆數 :2851802
|
|
造訪人次 :
44736136
線上人數 :
1175
教育部委託研究計畫 計畫執行:國立臺灣大學圖書館
|
|
|
"bultan tevfik"的相關文件
顯示項目 1-4 / 4 (共1頁)
1
每頁顯示[10|25|50]項目
| 國立政治大學 |
2017-12 |
String Analysis for Software Verification and Security
|
Bultan, Tevfik; 郁方; Yu, Fang; Alkhalaf, Muath |
| 國立政治大學 |
2016-07 |
Optimal Sanitization Synthesis for Web Application Vulnerability Repair
|
郁方; Yu, Fang; Shueh, Ching-Yuan; Lin, Chun-Han; Chen, Yu-Fang; Wang, Bow-Yaw; Bultan, Tevfik |
| 國立政治大學 |
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; 郁方 |
顯示項目 1-4 / 4 (共1頁)
1
每頁顯示[10|25|50]項目
|
