Research Project

During Tenure Number Title Position
2025/08/01-2026/07/31 NSTC113-2221-E-004-010-MY2 神經網路模型的自動化測試:工具開發與應用推廣(2/2) 計畫主持人
2024/08/01-2025/07/31 NSTC113-2221-E-004-010-MY2 神經網路模型的自動化測試:工具開發與應用推廣(1/2) 計畫主持人
2024/06/01-2025/05/31 NSTC113-2634-F-004-001-MBK 金融科技應用中的前瞻資安技術開發(2/2) 共同主持人
2024/06/01-2025/05/31 113A113073 貸款案件信用評分模型(Application Score Card) 計畫主持人
2023/08/01-2024/07/31 NSTC112-2221-E-004-002 人工智慧模型的軟體驗證與資訊安全 計畫主持人
2023/07/01-2024/06/30 112A112139 金融AI雲生態系概念驗證委託研究案 共同主持人
2023/06/01-2024/05/31 NSTC112-2634-F-004-001-MBK 金融科技應用中的前瞻資安技術開發(1/2) 共同主持人
2022/08/01-2023/07/31 MOST109-2221-E-004-008-MY3 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(3/3) 計畫主持人
2021/08/01-2022/07/31 MOST109-2221-E-004-008-MY3 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(2/3) 計畫主持人
2020/08/01-2021/07/31 MOST109-2221-E-004-008-MY3 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(1/3) 計畫主持人
2020/05/01-2020/11/30 109A109048 輔導執行健保醫療資訊雲端查詢系統批次下載之醫事機構將批次下載作業流程導入資安認證 計畫主持人
2020/02/01-2021/01/31 109F109010 智慧創新跨域人才培育聯盟計畫-新型態智能合約在保險的應用 計畫主持人
2019/08/01-2020/07/31 MOST107-2221-E-004-002-MY2 物聯網設備全面向資安檢測與智能化深度分析-子計畫三:物聯網軟體驗證與資訊安全的靜態分析技術(2/2) 計畫主持人
2019/03/01-2020/01/31 108F108024 智慧創新跨域人才培育聯盟計畫-新型態智能合約在保險的應用 計畫主持人
2018/08/01-2019/07/31 MOST105-2923-E-002-016-MY3 臺俄(RU)國合計畫-系統即服務之可靠度、安全性與信賴度:可擴展分析與管理方法(3/3) 計畫主持人
2018/08/01-2019/07/31 MOST107-2221-E-004-002-MY2 物聯網設備全面向資安檢測與智能化深度分析-子計畫三:物聯網軟體驗證與資訊安全的靜態分析技術(1/2) 計畫主持人
2018/03/01-2018/11/30 107-5017 零知識證明技術結合智能合約的模擬驗證 計畫主持人
2017/08/01-2018/07/31 MOST106-2221-E-004-002- 雲端與端點應用之連續資安防禦與分析系統-子計畫三:行動資安:應用程式的控制流程與字串分析技術研發與安全軟體開發策略違背偵測技術之研究 計畫主持人
2017/08/01-2018/07/31 MOST105-2923-E-002-016-MY3 臺俄(RU)國合計畫-系統即服務之可靠度、安全性與信賴度:可擴展分析與管理方法(2/3)-轉撥經費 計畫主持人
2017/08/01-2018/07/31 MOST106-2221-E-004-002- 雲端與端點應用之連續資安防禦與分析系統-子計畫三:行動資安:應用程式的控制流程與字串分析技術研發與安全軟體開發策略違背偵測技術之研究 計畫主持人
2016/08/01-2019/07/31 MOST105-2923-E-002-016-MY3 臺俄(RU)國合計畫-系統即服務之可靠度、安全性與信賴度:可擴展分析與管理 方法(1/3)─轉撥經費 計畫主持人
2016/08/01-2017/07/31 MOST103-2221-E-004-006-MY3 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(3/3) 計畫主持人
2016/03/01-2017/02/28 105-5023 商管自適應社群創新服務平臺計畫 計畫主持人
2015/08/01-2016/07/31 MOST104-2410-H-004-123- 雲端串流服務品質之量化分析─以故宮iPalace頻道服務為例 共同主持人
2015/08/01-2016/07/31 MOST103-2221-E-004-006-MY3 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(2/3) 計畫主持人
2015/06/10-2017/06/09 104-5027 智慧綠能光合齋行動應用與控制系統之可行性研究與實作計畫 計畫主持人
2014/11/01-2015/06/30 103-5067 服務科學推動辦公室規劃專案委託服務 共同主持人
2014/08/01-2015/07/31 MOST103-2221-E-004-006-MY3 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(1/3) 計畫主持人
2013/08/01-2014/07/31 NSC102-2221-E-004-002- 行動應用程式的靜態二元分析 計畫主持人
2012/08/01-2013/07/31 NSC99-2218-E-004-002-MY3 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(3/3) 計畫主持人
2011/08/01-2012/07/31 NSC99-2218-E-004-002-MY3 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(2/3) 計畫主持人
2010/11/01-2011/07/31 NSC99-2218-E-004-002-MY3 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(1/3) 計畫主持人
2010/10/01-2011/09/30 99-5025 An SRM Information Retrieval Subsystem Based on Text Mining and Cloud Computing Techniques 協同主持人

Self-Maintenance Research Project

During Tenure Number Title Position

Academic Grants

Year Content Project
104 Space Connection: A New 3D Tele-Immersion Platform for Web-based Gesture-collaborative Games and Services 出席國際學術會議發表論文
103 Tevfik Bultan 邀請國際傑出教學及研究人才
100 String Abstractions for String Verification 出席國際學術會議發表論文
100 第十三屆無限狀態系統驗證國際研討會 舉辦學術性研討會、研究成果發表會
099 網路應用程式安全漏洞的自動化掃描與補正 鼓勵新進教師申請國科會專題研究計畫