黃世昆

黃世昆 Huang, Shih-Kun

電子郵件/E-mail:skhuang@cs.nctu.edu.tw

服務單位/Department:其他 / 資通安全研究與教學中心

著作期間/Publish Period:1989 - 2014-04-15

著作統計/Statistics

Article(15)
Plan(10)
Thesis(50)

Article

序號
No.
標題
Title
著作日期
Date
1 Characterization of the Pharmaceutical Effect of Drugs on Atherosclerotic Lesions in Vivo Using Integrated Fluorescence Imaging and Raman Spectral Measurements
2014-04-15
2 Software Crash Analysis for Automatic Exploit Generation on Binary Programs
2014-03-01
3 A parallel Bees Algorithm implementation on GPU
2014-03-01
4 Certificate-Based Secure Three-Party Signcryption Scheme With Low Costs
2012-07-01
5 An Efficient Strong Designated Verifier Proxy Signature Scheme for Electronic Commerce
2012-07-01
6 Improved convertible authenticated encryption scheme with provable security
2011-07-01
7 Efficient proxy signcryption scheme with provable CCA and CMA security
2010-10-01
8 A testing framework for Web application security assessment
2005-08-05
9 Dynamic Java program corpus analysis - Part 2: The control pattern analysis 2001-06-01
10 Dynamic Java program corpus analysis - Part 1: The analyzer 2001-05-01
11 Integration of Reusable Software Components and frameworks into a visual software construction approach
2000-11-01
12 INTERFACE FOR REUSABLE SOFTWARE COMPONENTS 1993-01-01
13 EFFICIENT ALGORITHMS FOR METHOD DISPATCH IN OBJECT-ORIENTED PROGRAMMING SYSTEMS 1992-09-01
14 REQUIREMENTS ORGANIZATION APPROACH FOR OBJECT-BASED CONSTRUCTION OF SOFTWARE SYSTEMS 1992-07-01
15 INTERFACE FOR REUSABLE SOFTWARE COMPONENTS 1992-01-01

Plan

序號
No.
標題
Title
著作日期
Date
1 惡意軟體攻擊產生研究 2014
2 Automatic Exploit Generation for Andorid and Windows Mobile Systems 2013
3 針對 Android 與 Windows Mobile 自動產生攻擊測試輸入 2012
4 防毒軟體系統之安全性評估 2011
5 操控程式輸入測試以自動產生系統攻擊資料 2010
6 互動式程式線上測試與評審平台 2008
7 以邏輯推論方式輔助系統偵錯 2007
8 以邏輯推論方式輔助系統偵錯 2006
9 程式動態行為安全分析(II)
2005
10 程式動態行為安全分析(I)
2004

Proceedings Paper

序號
No.
標題
Title
著作日期
Date
1 CRAXweb: Automatic Web Application Testing and Attack Generation
2013-01-01
2 Detection and diagnosis of control interception 2007-01-01
3 Mining control patterns from Java program corpora 2004-01-01
4 Object-oriented program behavior analysis based on control patterns 2001-01-01

Thesis

序號
No.
標題
Title
著作日期
Date
1 具目標認知符號執行模糊測試框架
2013
2 跨網頁語言平台之SQL Injection攻擊產生系統 2013
3 CRAXDroid: Android 下的自動化攻擊產生系統
2013
4 以OpenStack建立可擴充式物聯網系統雲端平台 2013
5 符號環境建置與調適性符號輸入選擇
2012
6 針對大型程式微軟執行檔之失控分析並自動化攻擊產生 2012
7 應用「螢光顯微成像」及「拉曼光譜」技術探討高膽固醇血脂斑馬魚之血管脂肪斑塊 2012
8 GART – 圖形化介面/音訊回歸測試系統
2012
9 惡意軟體之測試與攻擊方法探討
2012
10 基於 QEMU 所模擬系統與軟體之回歸測試框架
2012
11 跨平台 Web程式測試與攻擊產生系統
2012
12 雲端軟體弱點探索分析資料庫
2012
13 自動產生攔截控制流程之攻擊程式碼
2011
14 操作符號位址以產生異常執行路徑
2011
15 以累積經驗知識為目的之問題追蹤系統 2011
16 大學程式能力檢定系統設計、實作與部署:一個全虛擬化的實例
2011
17 支援大型軟體測試之符號環境系統 2011
18 一個創新的平行蜂群演算法實作在圖形處理器架構 2011
19 藉由選擇性符號操作執行之Android APPs隨性測試
2011
20 自動化網頁測試與攻擊產生
2011
21 具代理授權特性的可轉換鑑別加密方法
2010
22 藉由正規限制式之擬真運算處理符號檔案輸入
2010
23 操作利用非典型之擬真執行
2010
24 行動商務的代理人英式拍賣機制之研究
2010
25 應用動態樁技術於合作式網頁應用程式測試
2010
26 激發式動態教學對學習成效與認知負荷影響之研究-以浮力為例
2009
27 CAST:自動化動態軟體驗證工具
2008
28 支援非原始型態符號輸入之擬真測試系統
2008
29 藉由迴圈相依性與限制式牴觸分析進行大範圍安全性質檢查
2008
30 以搜尋式方法偵測程式溢位弱點
2008
31 運用記憶體保護機制增進資料監控點檢查之效能
2008
32 無線區域網路存取點架設風險評估 2007
33 C程式中正負整數轉換錯誤之偵測
2007
34 以HMAC強化WEP加密機制
2007
35 輔助安全Web程式開發之系統弱點追蹤與學習平台
2007
36 以導引式隨機測試方法探索軟體未規範實作功能
2007
37 動態格式化字串攻擊偵測方法之研究
2006
38 應用目標導引與隨機測試之特定程式狀態產生器
2006
39 從COTS/Binary元件中解析條件參數以輔助隨機測試
2006
40 應用於COTS套裝軟體、以方針設定導引監控的版權管理系統
2005
41 Thin-client 應用呈現平台的最佳化設計與實作
2005
42 Automatic Program Document Extraction from Revision History and Run-time Trace
2005
43 動態更新與修補溢位弱點的設計與實作
2005
44 以隨機與邏輯推理運算方式進行高涵蓋率之測試
2005
45 軟體版本歷史資料發掘以驗證開放源碼外圍參與者的學習過程
2004
46 程式失控動態分析系統設計與實作
2003
47 開放原始碼軟體貢獻度分析
2003
48 一個Web 應用程式的錯誤殖入測試平台設計 2002
49 個體導向程式系統執行行為最佳化的探討 1995
50 再利用軟體元件的介面技術研究 1989