• 師資陣容

    • 行政技術人員

黃世昆 Shih-Kun Huang 合聘教授
  • 國立交通大學資訊工程博士
  • 工程三館 514
  • 03-5712121 # 54721

經歷

1.國立交通大學資訊工程學系合聘教授,year-迄今

研究興趣

網路安全、軟體工程技術

實驗室

  • 軟體品質實驗室
  • 工程三館 329A
  • 03-5712121 # 54813

研究計畫

1. 程式動態行為安全分析
2. 嵌入式感測器核心惡劣環境測試與保護
3. 開放架構的螢幕串流系統
4. 軟體版本歷史資料發掘以驗證開放源碼外圍參與者的學習過程

代表著作

1. Han-Yu Lin, Tzong-Sun Wu, Shih-Kun Huang (2012, Jul). An Efficient StrongDesignated Verifier Proxy Signature Scheme for Electronic Commerce. Journalof Information Science and Engineering, Vol. 28, No. 4, 2012, pp. 771-785.
2. Han-Yu Lin, Tzong-Sun Wu,Shih-Kun Huang (2012, Jul). Certificate-BasedSecure Three-Party Signcryption Scheme with Low Costs. Journal ofInformation Science and Engineering, Vol. 28, No. 4, 2012, pp. 739-753.
3. Han-Yu Lin, Chien-Lung Hsu, Shih-Kun Huang (2011, Jul). Improved convertible authenticated encryption scheme with provable security. InformationProcessing Letters, Volume 111, Issue 13, Pages 661–666.
4. Lin, H.Y., Wu, T.S., Huang, S.K. and Yeh, Y.S. (2010, Jul). Efficient ProxySigncryption Scheme with Provable CCA and CMA Security. Computers andMathematics with Applications, Vol. 60, No. 7, 2010, pp. 1850-1858. (EI)
5. 黃世昆,黃銘祥,黃博彥,賴俊維,呂翰霖(2012年07月)。自動脅迫產生器發展現況與威脅分析。資訊安全通訊,18卷3期(2012/07)。
6. 蔡昌憲,許立文,吳孟勳,黃世昆*(2008年04月)。作業系統核心安全驗證技術探討。Communications of the CCISA,Vol. 14 No. 2 pp. 89-98。
7. Shih-Kun Huang, Min-Hsiang Huang, Po-Yen Huang, Chung-Wei Lai, Han-Lin Lu, Wai-Meng Leong (2012, Jun). CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations.EEE Sixth International Conference on Software Security and Reliability(SERE), Gaithersburg, MD, USA. NSC 100-2221-E-009-079. 本人為第一作者、通訊作者.
8. Kuen-Han Huang and Shin-Kun Huang (2010, May). Detecting Buffer Overflow Vulnerabilities by Search-based Testing. Cryptology and Information Security Conference 2010.
9. Wen-Chien Weng and Shih-Kun Huang (2010, Mar). Scalable Security Property Checking by Loop Dependence and Constraint. 第一屆兩岸軟體技術學術研討會.
10. 楊詠仁,陳奕任,黃世昆(2012年10月)。運用虛擬化技術快速佈署大規模程式檢定應用探討 以交通大學CPE建置開發為例。TANET2012,桃園龜