黃佑鈞 – 藉由正規限制式之擬真運算處理符號檔案輸入(Dealing with Symbolic File Input by Regular Constrained Symbolic Execution) (99碩)。系計中助教。Link
邱世欣 – 操作利用非典型之擬真執行 (Exploiting Atypical Symbolic Executions) (100碩) Link
陳鈺婷 – 行動商務的代理人英式拍賣機制之研究 (A Study of Agent-based English Auction Protocols for Mobile Commerce) (100碩) Link
黃博彥 – 自動產生攔截控制流程之攻擊程式碼 (Automated Exploit Generation for Control-Flow Hijacking Attacks) (100碩) Link
林孟緯 – 操作符號位址以產生異常執行路徑 (Exploiting Symbolic Locations for Abnormal Execution Paths) (100碩) Link
李佳玫 – 應用動態樁技術於合作式網頁應用程式測試 (Applying Dynamic Stubbing Technique to Support Collaborative Testing of Web Application) (100碩) Link
李勝斌 – 以累積經驗知識為目的之問題追蹤系統 (Issue Tracking System for Knowledge Accumulation) (101碩) Link
呂翰霖 – 符號環境建置與調適性符號輸入選擇 (Symbolic Environment Construction and Adaptive Symbolic Input Selection) (101碩) Link
陳奕任 – 大學程式能力檢定系統設計、實作與部署:一個全虛擬化的實例 (The Design, Implementation, and Deployment of the CPE(Collegiate Programming Examination) System – an Application of Full Virtualization) (101碩)。系計中助教。Link
黃韋翔 – 支援大型軟體測試之符號環境系統 (Symbolic Environment Support for Testing Large Software Applications) (101碩),台灣 Yahoo。系計中助教。Link
賴俊維 – 針對大型程式微軟執行檔之失控分析並自動化攻擊產生 (Automatic Exploitable Crash Analysis for Large MS-Windows Binaries) (101碩) Link
許基傑 – 藉由選擇性符號操作執行之Android APPs隨性測試 (Fuzz Testing on Android APPs by Selective Symbolic Execution) (101碩) Link
梁偉明 – 自動化網頁測試與攻擊產生 (Automatic Web Testing and Attack Generation) (101碩),趨勢科技。系計中助教。Link
蘇俊憲 – (103碩) 以 OpenStack 建立可擴充式物聯網系統雲端平台 (The Design and Implementation of a Scalable M2M Cloud Platform by OpenStack) 校計中。Link
陳瑋雋 – (103碩) Survey and Assessment of Fuzz Testing and Triage Tools (模糊測試與篩檢分類工具的分析探討與評估) , 一年畢業。
陳泓文 – (103碩) A Systematic Post-Exploitation Framework for Exploit Generation (攻擊生成之系統化後脅迫框架) ,將任職聯發科。 Link 。錄影 。github。簡報檔 。Hitcon 發表。 會議論文
羅紹文 – (103碩) Scheduling Fuzz Testing with Symbolic Mutation (符號化變異之模糊測試排程法) ,將任職聯發科。校計中助教 Link 。hackpad。Youtube
鄭達群 – (103碩) Fuzzing and Exploit-generation support for Reverse Engineering Environment (支援逆向工程環境之模糊測試與脅迫生成) ,改題目:Automatic Defense by fault localization and dynamic patch,利用錯誤定位與自動修補技術達成自動化防禦, 系計中助教
廖峰澤 – (104碩) 藉由排程文件物件模型資料之變異與生成 進行瀏覽器模糊測試 Link 。hackpad
蔡珊鈺 – (104碩) APT Detection through Suspiciously Compromised Point Analysis Link
鄭楷穎 – (104碩) Automated and Scalable QoS Control for Software Defined Network (軟體定義網路之 QoS 可擴展性探討) ,任職中華電信。(2015/5/15 19:00 修改,網路系統重新架構的規劃與設計-交大工程三館為例,the analysis and design of frefactoring a network system – NCTU EC building as an example ), 系計中助教 Link
周瑋勝 – (104碩) Using Fault Localization as a Triage Method (運用錯誤定位方法分類程式失誤狀況),系計中助教,一年畢業。 Link
陳夏祥 – (104博) Diagnosing Network Faults and Network Threats Using Ant Colony Optimization (網路錯誤與網路威脅診斷之蟻群優化研究)。
李苡璇 – (104碩) Test Data Generation by Fuzzing for Fault Localization (模糊化測資生成以支援錯誤程式碼定位) ,系計中助教。DSC2017。
黃子祐 – (104碩) Network Fault Localization Method (網路錯誤定位方法) (1/8/2015 revised) (5/15/2015 19:00 revised, 網路系統重新架構的實作與佈署-交大工程三館為例, the implementation and deployment of refactoring a network system – NCTU EC building as an example)。系計中助教。
林政德 – (105碩) Design and Implement of Automatic Exploit Generation Process(自動化脅迫生成流程設計與實作)
陳思伃-(112碩) 大型語言模型輔助轉換追蹤系統問題單為程式開發學習平台之題庫 ( Building Problem Datasets from Issue Tracking Systems for Learning Software Development With LLMs)
江致學-(113碩)藉由變質測試與 MITRE ATT&CK 框架,評估 ChatGPT 在自動產生惡意程式上之風險 (Assessing the risk of ChatGPT in automatically generating malicious programs through metamorphic testing and MITRE ATT&CK framework)
高賢齊-(113碩) 網路攻防靶場之訓練模式探討 (A Study of Training Models on Cyber Range)
姚舜齊-(113碩) 基於深度學習的 REST API 加速預測模型 (Deep Learning-Based Prediction model for Accelerating REST API Fuzzing)
鄭志軒-(113碩) 基於程式碼覆蓋率回饋與銳變關係之REST API 模糊測試 (MonscFuzz: REST API Fuzzing with Code Coverage Feedback and Metamorphic Testing)
王智凱-(113碩) 藉由開源情資與現行政策探討國防供應鏈資安政策與美方差異 (Exploring Cybersecurity Policies in the Defense Supply Chain: A Comparative Analysis of Open Source Intelligence and Existing Policies between the US)
周文馨-(113碩) 運用微調(Fine tune)大型語言模型進行軍事情報總結(Summarization)之效度測試 (Validity assessment of military intelligence summarization through fine-tuning large language models)
蘇鈴雅-(113碩) 基於勒索軟體即服務家族演進之靜態分析研究 (Trends Analysis of Ransomware as a Service)