English  |  正體中文  |  简体中文  |  2830311  
???header.visitor??? :  32545559    ???header.onlineuser??? :  927
???header.sponsordeclaration???
 		 
???search.scope??? ???search.advance???
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???
???ui.leftmenu.explanation???

???ui.leftmenu.bartitle???
Repositories
Author
Title
Date
???ui.leftmenu.statisticschart???
???ui.leftmenu.realtimefacts???
???ui.leftmenu.trend???

???index.news???
2019臺灣學術機構典藏
研討會
機構典藏系統RC7版本已
發佈

???ui.leftmenu.copyrighttitle???
???ui.leftmenu.copyrightpublisher???
???ui.leftmenu.copyrightconference???

???ui.leftmenu.link???
機構典藏計畫網站
ROAR
OpenDOAR
SHERPA
OAIster
JAIRO
Ira
DSPACE
RWWR
臺大學術典藏NTU Scholars
???tair.name??? >  ???browser.page.title.author???

"f yu"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2019-10-24T07:45:23Z Static Detection of API Call Vulnerabilities in iOS Executables 江介宏;JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:23Z Static Detection of API Call Vulnerabilities in iOS Executables 江介宏;JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z A Symbolic Model Checking Approach to the Analysis of String and Length Constraints 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:45:22Z A Symbolic Model Checking Approach to the Analysis of String and Length Constraints 江介宏;JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG; 江介宏
臺大學術典藏 2019-10-24T07:43:09Z A Symbolic Model Checking Approach to the Analysis of String and Length Constraints JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2019-10-24T07:43:09Z A Symbolic Model Checking Approach to the Analysis of String and Length Constraints JIE-HONG JIANG;J.-H. R. Jiang;F. Yu;S.-Y. Chen;H.-E. Wang; H.-E. Wang; S.-Y. Chen; F. Yu; J.-H. R. Jiang; JIE-HONG JIANG
臺大學術典藏 2018-09-10T05:26:58Z Efficient Exact Spare Allocation via Boolean Satisfiability F. Yu; C. H. Tsai; Y. W. Huang; H. Y. Lin; D. T. Lee; S. Y. Kuo; SY-YEN KUO
臺大學術典藏 2018-09-10T04:35:39Z Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems F. Wang; G.-D. Huang; F. Yu.; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z Symbolic Simulation of Real-Time Concurrent Systems F. Wang; G.-D. Hwang; F. Yu; FARN WANG
臺大學術典藏 2018-09-10T04:35:38Z TCTL Inevitability Analysis of Dense-Time Systems F. Wang; G.-D. Hwang; F. Yu; FARN WANG
臺大學術典藏 2018 Static Detection of API Call Vulnerabilities in iOS Executables JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG
臺大學術典藏 2018 Static Detection of API Call Vulnerabilities in iOS Executables JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG

Showing items 1-12 of 12  (1 Page(s) Totally)
1 
View [10|25|50] records per page

DSpace Software Copyright © 2002-2004  MIT   &  Hewlett-Packard   /   Enhanced by   NTU Library IR team