指導學生論文

  1. 林敏雄 – Run-Time Profiling and Analysis of Java Program Execution (86碩) Link
  2. 林泰維 – 利用環境因素考量入侵偵測系統分析工具的選取方法 (89碩)
  3. 梁宏一 – 入侵偵測系統之適應性特徵選取方法 (89碩)
  4. 歐士源 – 環境相依之入侵偵測系統評估方法設計(89碩)
  5. 劉其堅 – 多型性弱點資料庫設計與對應缺陷應用程式產生器製作 (89碩) ,任職工研院電通所。
  6. 張良豪 – A Fast Prototyping Framework for Intrusion Detection (90碩),任職D-LINK。
  7. 趙育釧 – 考量環境因素下入侵偵測系統效能評估基準之建立 (90碩)
  8. 陳宗裕 – 安全弱點稽核、入侵偵測系統與後端資料庫整合設計研究 (90碩)
  9. 黃中見 – Objected-Oriented Program Behavior Analysis Based on Control Patterns (91博),任職智勝科技。
  10. 邱簡謙 – 弱點資訊管理系統之設計與實作 (91 碩)
  11. 柯光隆 – Information Assurance Management Framework Using SNMP (91 碩)
  12. 陳俊宏 – 環境相依之入侵偵測系統測試平台 (91 碩)
  13. 李駿偉 – 入侵偵測系統分析方法效能之定量評估 (91 碩),任職中華電信研究所。
  14. 王茂吉 – 適用於網頁伺服器之應用型入侵偵測系統 (92碩)。
  15. 簡嘉煌 – 以成本效益模型評估入侵偵測系統 (Evaluating Intrusion Detection System by Cost-Benefit Trade-off Model) (92碩)。
  16. 吳志聰 – 以特徵探勘提升入侵偵測系統效率 (IDS Efficiency Enhancement Via Feature Mining) (92碩)。
  17. 林崇頤 – 適應於多量弱點資訊之智慧型攻擊圖形產生器 (Intelligent Attack Graph Generator Adapting to Large Vulnerability Information)(92碩),中華電信、交大博士班。
  18. 蔡忠宏 –Web 應用程式的錯誤殖入測試介面設計 (The Design of a Software Testing Interface for Applying Fault Injection to Web Applications (92碩)。Paper期刊論文會議論文
  19. 張翊晉 – 開放原始碼軟體貢獻度分析(Accounting Ccontribution for Oopen Ssource Ssoftware Ddevelopment) (93 碩)。Link
  20. 劉世弘 – 程式失控動態分析系統設計與實作(The Design and Implementation of a Dynamic Instrument Tool for Program Crash Analysis) (93 碩)。Link
  21. 劉康民 – 軟體版本歷史資料發掘以驗證開放源碼外圍參與者的學習過程(Mining Version Histories to Verify the Learning Process of Legitimate Peripheral) (94 碩)Link
  22. 黃哲逸 – 應用於COTS套裝軟體、以方針設定導引監控的版權管理系統(OpenDReaMS: Policy Controlled Digital Rights Management Wrapper for COTS) (95碩) Link
  23. 宋卓翰 – Thin-client 應用呈現平台的最佳化設計與實作(Presentation Platform Optimization for Thin-client Applications) (95碩) Link
  24. 黃建智 – 以版本歷程與動態執行資訊產生註解文件之自動化系統(Automatic Program Document Extraction from Revision History and Run-time Trace) (95碩) Link
  25. 黃有德 – 動態更新與修補溢位弱點的設計與實作 (Patching Buffer Overflow Vulnerability by Dynamically Updating Binary Software)(95碩) Link
  26. 吳孟勳 – 以隨機與邏輯推理運算方式進行高涵蓋率之測試(Automatic Logic Evaluation for Random Testing) (95碩),一年畢業。Link
  27. 劉彥佑 – 應用目標導引與隨機測試之特定程式狀態產生器(Target Directed Random Testing for Feasible State Generation) (96碩) Link
  28. 范揚杰 – 從COTS/Binary元件中解析條件參數以輔助隨機測試(Resolving Constraints from COTS/Binary components for Concolic Random Testing) (96碩) Link
  29. 許立文 – 以導引式隨機測試方法探索軟體未規範實作功能許立文(Resolving Unspecified Software Features by Directed Random Testing) (97碩),一年畢業。系計中助教。Link
  30. 林子強 – 無線區域網路存取點架設風險評估 (Risk Assessment of Wireless Access Point Deployment) (97碩) Link
  31. 李泳毅 – C程式中正負整數轉換錯誤之偵測 (Detection of Integer Signedness Faults in C Programs) (97碩) Link
  32. 鄭家明 – 以HMAC強化WEP加密機制 (Enhance WEP Protocol with HMAC) (97碩) Link
  33. 張文浩 – 輔助安全Web程式開發之系統弱點追蹤與學習平台 (A Bug Tracking Platform for Learning Secure Web Programming) (97碩)。工研院計中。Link
  34. 洪慧蘭 – 動態格式化字串攻擊偵測方法之研究 (Run-Time Detection of Format String Attacks) (97碩),一年畢業。聯發科。Link
  35. 林友祥 – CAST:自動化動態軟體驗證工具 (CAST: Automatic and Dynamic Software Verification Tool) (98碩) Link
  36. 林彥廷 – 支援非原始型態符號輸入之擬真測試系統 (Non-primitive Type Symbolic Input for Concolic Testing) (98碩)。系計中助教。Link
  37. 翁文健 – 藉由迴圈相依性與限制式牴觸分析進行大範圍安全性質檢查 (Scalable Security Property Checking by Loop Dependence and Constraint Contradiction Analysis) (98碩),任職趨勢。Link
  38. 黃琨翰 – 以搜尋式方法偵測程式溢位弱點 (Detecting Buffer Overflow Vulnerabilities via Search-based Testing) (98碩)。(大學部作業系統概論被我當掉,研究所卻還來找我的學生) Link
  39. 王士瑜 – 運用記憶體保護機制增進資料監控點檢查之效能 (Using Memory Protection Techniques to Improve Data Watchpoint Checking Efficiency) (98碩),任職趨勢。一年畢業。Link
  40. 林韓禹 – 具代理授權特性的可轉換鑑別加密方法 (Convertible Authenticated Encryption Schemes with Proxy Delegation) (99博),任職海洋大學資工系。Link
  41. 黃佑鈞 – 藉由正規限制式之擬真運算處理符號檔案輸入(Dealing with Symbolic File Input by Regular Constrained Symbolic Execution) (99碩)。系計中助教。Link
  42. 邱世欣 – 操作利用非典型之擬真執行 (Exploiting Atypical Symbolic Executions) (100碩) Link
  43. 陳鈺婷 – 行動商務的代理人英式拍賣機制之研究 (A Study of Agent-based English Auction Protocols for Mobile Commerce) (100碩) Link
  44. 黃博彥 – 自動產生攔截控制流程之攻擊程式碼 (Automated Exploit Generation for Control-Flow Hijacking Attacks) (100碩) Link
  45. 林孟緯 – 操作符號位址以產生異常執行路徑 (Exploiting Symbolic Locations for Abnormal Execution Paths) (100碩) Link
  46. 李佳玫 – 應用動態樁技術於合作式網頁應用程式測試 (Applying Dynamic Stubbing Technique to Support Collaborative Testing of Web Application) (100碩) Link
  47. 李勝斌 – 以累積經驗知識為目的之問題追蹤系統 (Issue Tracking System for Knowledge Accumulation) (101碩) Link
  48. 呂翰霖 – 符號環境建置與調適性符號輸入選擇 (Symbolic Environment Construction and Adaptive Symbolic Input Selection) (101碩) Link
  49. 陳奕任 – 大學程式能力檢定系統設計、實作與部署:一個全虛擬化的實例 (The Design, Implementation, and Deployment of the CPE(Collegiate Programming Examination) System – an Application of Full Virtualization) (101碩)。系計中助教。Link
  50. 黃韋翔 – 支援大型軟體測試之符號環境系統 (Symbolic Environment Support for Testing Large Software Applications) (101碩),台灣 Yahoo。系計中助教。Link
  51. 賴俊維 – 針對大型程式微軟執行檔之失控分析並自動化攻擊產生 (Automatic Exploitable Crash Analysis for Large MS-Windows Binaries) (101碩) Link
  52. 許基傑 – 藉由選擇性符號操作執行之Android APPs隨性測試 (Fuzz Testing on Android APPs by Selective Symbolic Execution) (101碩) Link
  53. 梁偉明 – 自動化網頁測試與攻擊產生 (Automatic Web Testing and Attack Generation) (101碩),趨勢科技。系計中助教。Link
  54. 陳冠文 – GART – 圖形化介面/音訊回歸測試系統 (GART – GUI/Audio Regression Testing framework) (102碩) Link
  55. 林伯謙 – 基於 QEMU 所模擬系統與軟體之回歸測試框架 (A Regression Testing Framework for QEMU-based System and Software Development) (102碩),台灣 Yahoo。系計中助教。Link
  56. 趙正宇 – 雲端軟體弱點探索分析資料庫 (A Cloud-based Benchmark Database for Software Vulnerability Analysis and Discovery) (102碩),台積電。系計中助教。Link
  57. 吳介豪 – 惡意軟體之測試與攻擊方法探討 (On the Study of Fuzzing and Attacking Malware Methods) (102碩) Link
  58. 劉歡 – 跨平台 Web程式測試與攻擊產生系統 (A Generic Web Application Testing and Attack Generation Framework) (102碩),一年畢業,台積電。系計中助教。Link
  59. 鍾翔 – 具目標認知符號執行模糊測試框架 (A Target-Aware Symbolic Execution Framework for Fuzz Testing) (103碩),任職聯發科。系計中助教。Link
  60. 陳俊諺 – Android 下的自動化攻擊產生系統 (CRAXDroid: Crash Analysis for Automatic Exploit Generation on Android System)(103碩)。系計中助教。Link
  61. 盧芊慧 – 跨網頁語言平台之SQL Injection攻擊產生系統 (Web Platform Independent SQL injection Attack Generation) (103碩),,一年畢業。Link
  62. 蘇俊憲 – 以 OpenStack 建立可擴充式物聯網系統雲端平台 (The Design and Implementation of a Scalable M2M Cloud Platform by OpenStack)(103碩) 校計中。Link
  63. 陳瑋雋 – Survey and Assessment of Fuzz Testing and Triage Tools (模糊測試與篩檢分類工具的分析探討與評估) , 一年畢業。(103碩)
  64. 陳泓文 – A Systematic Post-Exploitation Framework for Exploit Generation (攻擊生成之系統化後脅迫框架) ,將任職聯發科。(104碩) Link 。錄影 。github簡報檔 。Hitcon 發表。 會議論文
  65. 羅紹文 – Scheduling Fuzz Testing with Symbolic Mutation (符號化變異之模糊測試排程法) ,將任職聯發科。校計中助教 (104碩) Link 。hackpadYoutube
  66. 鄭達群 – Fuzzing and Exploit-generation support for Reverse Engineering Environment (支援逆向工程環境之模糊測試與脅迫生成) ,改題目:Automatic Defense by fault localization and dynamic patch,利用錯誤定位與自動修補技術達成自動化防禦, 系計中助教 (104碩)
  67. 廖峰澤 – 藉由排程文件物件模型資料之變異與生成 進行瀏覽器模糊測試 (104碩) Link 。hackpad
  68. 蔡珊鈺 – APT Detection through Suspiciously Compromised Point Analysis(104碩)Link
  69. 鄭楷穎 – 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 ), 系計中助教(104碩) Link
  70. 周瑋勝 – 系計中助教, Using Fault Localization as a Triage Method (運用錯誤定位方法分類程式失誤狀況),一年畢業。(104碩) Link
  71. 陳夏祥 – Diagnosing Network Faults and Network Threats Using Ant Colony Optimization (網路錯誤與網路威脅診斷之蟻群優化研究)。(105博)
  72. 李苡璇 – Test Data Generation by Fuzzing for Fault Localization (模糊化測資生成以支援錯誤程式碼定位) ,系計中助教。(105碩)
  73. 黃子祐 – 系計中助教, 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碩)
  74. 林政德 – 自動化脅迫生成流程設計與實作 (106碩)
  75. 施筱瑜 –  A Generic Web application Attack Generation Method (多樣化 Web 程式攻擊生成方法)) 。(106碩),任職趨勢科技。
  76. 陳柏宇 – 系計中助教。 Interactive Web Application Testing and Attack Environment(互動式 Web 程式測試與攻擊環境)。(106碩)
  77. 葉家郡 – 校計中助教。MCTS-based Path Exploration for Symbolic Execution(基於蒙地卡羅樹搜尋法之符號執行路徑探索機制)。(106碩)
  78. 蘇翌帆 – 系計中助教。Optimizing Web Application Testing by Path Constraint Scheduling (路徑限制式排程優化Web 程式測試效能)。(106碩)
  79. 陳威伯 – 軟體除錯與符號執行整合互動。(106碩)
  80. 孫建宇 – 系計中助教。Fuzz Testing based on Adaptive Random Sequence Method(基於調適性隨機序列之模糊測試)。(106碩),任職趨勢科技。
  81. 江聖譯 – Machine Learning based Path Exploration for Symbolic Execution (基於機器學習之路徑探索機制)。(106碩)
  82. 黃宇強 – Decentralized Image Deployment in Datacenter (資料中心分散式映像檔部署)。 (107碩)
(Visited 16 times, 1 visits today)