郁 方
專任
姓名 郁 方
職稱 副教授
系所單位 資訊管理學系
電子郵件 yuf@nccu.edu.tw
聯絡電話 77453
研究專長 軟體安全、正規驗證、字串分析
授課領域 軟體安全、正規驗證、字串分析
年度 論文名稱
2018 Fang Yu*;Yat-Wah Wan;Rua-Huan Tsaih, 2018.07, 'Quantitative Quality Estimation of Cloud-based Streaming Services, ' Computer Communications, Vol.125, pp.pp. 24-37.(SCIE, ACM, DBLP, IEEE, SCI, SCOPUS)(*為通訊作者), 418850
2015 郁方*, 2015.04, 'AppBeach: A Static Behavior Checker for iOS Mobile Applications, '.(*為通訊作者), 416447
2014 ShinYin Huang*;RuaHuan Tsaih;Fang Yu, 2014.02, 'Topological pattern discovery and feature extraction for fraudulent financial reporting, ' Expert System with Applications, Vol.41, No.9, pp.4360-4372.(SCIE, DBLP)(*為通訊作者), 402788
2014 Fang Yu*;Muath Alkhalaf;Tevfik Bultan;Oscar H. Ibarra, 2014.01, 'Automata-Based Symbolic String Analysis for Vulnerability Detection, ' Formal Methods in System Design, Vol.44, No.1, pp.44-70.(ACM, DBLP, IEEE, SCI)(*為通訊作者), 391128
2013 Gaiyun Liu;Daniel Yuh Chao;Fang Yu*, 2013.03, 'A Control Policy for a Subclass of Petri Nets without Reachability Analysis, ' IET Control Theory & Applications,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), 388028
2012 Fang Yu*;Shun-Ching Yan;Farn Wang;Guan-Cheng Chen;Che-Chang Chan, 2012.05, 'Symbolic Consistency Checking of OpenMP Parallel Programs, ' ACM SIGPLAN Notices, Vol.47, No.5, pp.139-148.(ACM, SCI)(*為通訊作者), 395896
2012 Daniel Y. Chao;Jiun-Ting Chen*;Fang Yu, 2012.02, 'A novel liveness condition for S3PGR2, ' Transactions of the institute of measurement and control,.(SCIE)(*為通訊作者), 364504
2011 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2011.05, 'Relational String Verification Using Multi-track Automata (Full Version), ' International Journal of Foundations of Computer Science,.(SCIE, ACM, DBLP, IEEE, CITESEEN, SCI)(*為通訊作者), 347564
2008 Oscar H. Ibarra;Sara Woodworth;Fang Yu;Andri Paun, 2008.03, 'On Spiking Neural P Systems and Partially Blind Counter Machines, ' Natural Computing, Vol.7, No.1, pp.3-19.(SCIE, ACM, DBLP), 316613
2006 Fang Yu;Bow-Yaw Wang, 2006.08, 'SAT-based Model Checking for Region Automata, ' International Journal of Foundations of Computer Science, Vol.17, No.4, pp.775-795.(SCIE, DBLP), 316615
2006 Farn Wang;Geng-Dian Huang;Fang Yu, 2006.07, 'TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering, ' IEEE Transactions on Software Engineering, Vol.32, No.7, pp.510-526.(ACM, IEEE, SCI), 316829
年度 書名
2017 Tevfik Bultan*;Fang Yu*;Muath Alkhalaf*;Aydin Abdulbaki*, 2017.12, 'String Analysis for Software Verification and Security, ' Springer International Publishing.(*為通訊作者), 418008, 2017/12
2016 Fang Yu*, 2016.01, 'Investigating Security Mechanisms for ICT-enabled Services of the National Palace Museum, ' Managing Innovation and Cultural Management in the Digital Era: The Case of the National Palace Museum, Routledge, pp.200-221.(*為通訊作者), 416446, 2016/01
計畫類別 年度 計畫名稱 參與人 職稱/擔任之工作 計畫期間 補助/委託或合作機構
科技部 107 物聯網設備全面向資安檢測與智能化深度分析-子計畫三：物聯網軟體驗證與資訊安全的靜態分析技術 郁方 計畫主持人 2019.08 ~ 2020.07 科技部
科技部 107 物聯網設備全面向資安檢測與智能化深度分析-子計畫三：物聯網軟體驗證與資訊安全的靜態分析技術 郁方 計畫主持人 2018.08 ~ 2020.07 科技部
非科技部 107 零知識證明技術結合智能合約的模擬驗證 江介宏,郁方 計畫主持人 2018.03 ~ 2018.11 財團法人資訊工業策進會
科技部 106 雲端與端點應用之連續資安防禦與分析系統-子計畫三:行動資安：應用程式的控制流程與字串分析技術研發與安全軟體開發策略違背偵測技術之研究 郁方 計畫主持人 2017.08 ~ 2018.07 科技部
非科技部 105 商管自適應社群創新服務平臺計畫 郁方 計畫主持人 2016.03 ~ 2017.02 財團法人溫世仁文教基金會
科技部 104 雲端串流服務品質之量化分析─以故宮iPalace頻道服務為例 李正國,溫日華,蔡瑞煌,郁方 共同主持人 2015.08 ~ 2016.07 科技部
非科技部 104 智慧綠能光合齋行動應用與控制系統之可行性研究與實作計畫 郁方 計畫主持人 2015.06 ~ 2017.06 驊陞科技股份有限公司
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(3/3) 郁方 計畫主持人 2016.08 ~ 2017.07 科技部
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(2/3) 郁方 計畫主持人 2015.08 ~ 2016.07 科技部
非科技部 103 服務科學推動辦公室規劃專案委託服務 徐敏珠,楊建民,郁方 共同主持人 2014.11 ~ 2015.06 財團法人溫世仁文教基金會
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(1/3) 郁方 計畫主持人 2014.08 ~ 2015.07 科技部
科技部 102 行動應用程式的靜態二元分析 陳郁方,郁方 計畫主持人 2013.08 ~ 2014.07 科技部
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發（3/3） 郁方 計畫主持人 2012.08 ~ 2013.07 科技部
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發（2/3） 郁方 計畫主持人 2011.08 ~ 2012.07 科技部
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發（1／3） 郁方 計畫主持人 2010.11 ~ 2011.07 科技部
非科技部 99 An SRM Information Retrieval Subsystem Based on Text Mining and Cloud Computing Techniques 管郁君,劉文卿,郁方 協同主持人 2010.10 ~ 2011.09 台灣積體電路製造股份有限公司
學校名稱 系所 學位 期間
加州大學聖塔芭芭拉分校 電腦科學系 博士 2005.09 ~ 2010.06
國立臺灣大學 資訊管理學系 碩士 1998.09 ~ 2000.06
國立臺灣大學 資訊管理學系 學士 1994.09 ~ 1998.06
經歷類別 職務 期間
校內本職 副教授 2016.12 ~ 迄今
校內本職 副教授 2014.03 ~ 2016.07
校內本職 助理教授 2013.01 ~ 2014.03
校內本職 助理教授 2010.08 ~ 2013.01
年度 論文名稱
2018 Abdulbaki Aydin*;William Eiers;Lucas Bang;Tegan Brennan;Miroslav Gavrilov;Tevfik Bultan*;Fang Yu, 2018.07, 'Parameterized Model Counting for String and Numeric Constraints, ' The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
2018 TengYung Lin*;Chun-Hao Howard Chuang;Fang Yu*, 2018.07, 'Tracking Supply Chain Process Variability with Unsupervised Cluster Traversal, ' The 4th IEEE Intl Conf on Big Data Intelligence and Computing (DataCom'2018) (IEEE-DataCom'2018, IEEE Computer Society and ACM SIGSOFT.(DBLP, IEEE, CITESEEN)(*為通訊作者)
2018 Hung-En Wang;Shih-Yu Chen;Fang Yu*;Jie-Hong R. Jiang*, 2018.07, 'A Symbolic Model Checking Approach to the Analysis of String and Length Constraints, ' The 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
2018 Chia-Lun Lee*;Shun-Wen Hsiao;Fang Yu*, 2018.04, 'Biparti Majority Learning with Tensors, ' IEEE BigData Congress 2018, IEEE.(ACM, DBLP, IEEE)(*為通訊作者)
2018 Chun-Han Lin;Fang Yu*;Jie-Hong Jiang;Tevfik Bultan, 2018.01, 'Static Detection of API Call Vulnerabilities in iOS Executables, ' The 40th International Conference on Software Engineering (ICSE 2018), IEEE Computer Society and ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
2017 Shin-Yin Huang*;Ya-Yun Prng;Fang Yu, 2017.09, 'A Parallel Majority Learning Algorithm for Anomaly Detection, ' the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017), IEEE Computer Society.(DBLP, IEEE, CITESEEN)(*為通訊作者)
2017 Chui-Hui Chiu*;Jin-Jie Chen;Fang Yu*, 2017.05, 'An Effective Distributed GHSOM Algorithm for Unsupervised Clustering on Big Data, ' The 6th 2017 IEEE International Congress on Big Data (BigData Congress 2017), IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者)
2017 Chiao-Yi Cheng*;Yao-Hung Lin;Fang Yu*, 2017.05, 'Adaptive Social Network Services: The Practice of 9EMBA.COM, ' IEEE Proceedings of the 1st IEEE International Conference on Edge Computing, IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者)
2017 Chun-chi Hsu*;Yuan-ting Fang;Fang Yu*, 2017.05, 'Content-sensitive Data Compression for IoT Streaming Services, ' 2nd IEEE International Congress on Internet of Things, IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者)
2016 Hsuan-Kai Chu*;Wan-Ping Chen;Fang Yu*, 2016.05, 'Simulating Time-Varying Demand Services with Queuing Models, ' the 13th IEEE International Conference on Services Computing, IEEE Service Society.(DBLP, IEEE, CITESEEN)(*為通訊作者)
2016 Fang Yu*;Ching-Yuan Shueh;Chun-Han Lin;Yu-Fang Chen;Bow-Yaw Wang;Tevfik Bultan, 2016.04, 'Optimal Sanitization Synthesis for Web Application Vulnerability Repair, ' ACM SIGSOFT the 2016 International Symposium on Software Testing and Analysis, ACM SIGSOFT.(SCIE, ACM, DBLP, IEEE)(*為通訊作者)
2016 Jin-jie Chen*;Fang Yu*, 2016.04, 'Gnafuy: A Framework for Ubiquitous Mobile Computation, ' the 9th IEEE International Conference on Cloud Computing, IEEE Service Society.(ACM, DBLP, IEEE)(*為通訊作者)
2016 Hung-En Wang;Tzung-Lin Tsai;Chun-Han Lin;Fang Yu;Jie-Hong Jiang, 2016.04, 'String Analysis via Automata Manipulation with Logic Circuit Representation, ' the 28th International Conference on Computer Aided Verification, University of Toronto.(ACM, DBLP, IEEE)
2016 Zih-Ruei Fang*;Shu-Wei Huang;Fang Yu*, 2016.04, 'AppReco: Behavior-aware Recommendation for iOS Mobile Applications, ' the 23rd IEEE International Conference on Web Services, IEEE Service Society.(ACM, DBLP, IEEE)(*為通訊作者)
2015 Yen-Han Li;Yeu-Ruey Tzeng;Fang Yu*, 2015.09, 'VISO: Characterizing Malicious Behaviors of Virtual Machines With Unsupervised Clustering, ' IEEE the 7th International Conference on Cloud Computing Technology and Science (IEEE CloudCom), Institute of Electrical and Electronics Engineers (IEEE), the Cloud Computing Association.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
2015 Chun-Han Lin*;Pei-Yu Sun;Fang Yu*, 2015.05, 'Space Connection: A New 3D Tele-Immersion Platform for Web-based Gesture-collaborative Games and Services, ' 4th International Workshop on Games and Software Engineering in conduction with the 37th International Conference on Software Engineering, IEEE Computer Society and ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者)
2013 Fang Yu*;Sheng-Wei Lee, 2013.09, 'Securing KVM-based Cloud Systems via Virtualization Introspection, ' HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS 47), University of Hawai''i at Manoa.(DBLP, IEEE)(*為通訊作者)
2013 Fang Yu*;Yi-Young Toung, 2013.09, 'Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities, ' Hawaii International Conference on System Sciences (HICSS), University of Hawaii.(*為通訊作者)
2013 Fang Yu*;Yuan-Chieh Lee;Steven Tai;Wei-Shao Tang, 2013.05, 'AppBeach: Characterizing App Behaviors via Static Binary Analysis, ' IEEE 2nd International Conference on Mobile Services, IEEE Computer Society''s Technical Committee on Services Computing.(*為通訊作者)
2013 Wenhui Wu;Daniel Yuh Chao;Fang Yu*, 2013.05, 'A Control Policy for Gamma-Nets without Reachability Analysis and Siphon Enumeration, ' The 9th annual IEEE International Conference on Automation Science and Engineering (IEEE CASE 2013), IEEE Robotics and Automation Society (RAS).(*為通訊作者)
2013 Fang Yu*;Hsin-YinHuang;Li-Ching Chiou;Rua-Huan Tsaih, 2013.04, 'Clustering iOS executable using self-organizing maps, ' The 2013 International Joint Conference on Neural Networks, International Neural Network Society (INNS).(*為通訊作者)
2013 Fang Yu*;Yat-Wah Wan;Rua-Huan Tsaih, 2013.04, 'Quantitative Analysis of Cloud-based Streaming Services, ' 10th International Conference on Services Computing, IEEE Computer Society''s Technical Committee on Services Computing.(*為通訊作者)
2012 Hsin-Yin Huang;Rua-Huan Tsaih*;Fang Yu, 2012.11, 'The Dual Approach for Decision Making, ' The 2012 DSI Annual Meeting, Decision Science Institute (DSI).(DSI proceedings)(*為通訊作者)
2012 Daniel Y. Chao;Jiun-Ting Chen;Fang Yu*, 2012.05, 'Enumeration of Reachable and Other States of Simple Version of Systems of Simple Sequential Processes with Resources (S3PR), ' The 21th IEEE International Symposium on Industrial Electronics, IEEE.(DBLP, IEEE)(*為通訊作者)
2011 Daniel Y. Chao*;Fang Yu, 2011.11, 'Number of Reachable States for Simple classes of Petri Nets, ' IECON 2011 - 37th Annual Conference on IEEE Industrial Electronics Society, IEEE IES, pp.3788-3791.(IEEE)(*為通訊作者)
2011 Farn Wang*;Chung-Hao Huang;Fang Yu, 2011.09, 'A Temporal Logic for the Interaction of Strategies, ' the 22nd International Conference on Concurrency Theory.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者)
2011 Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*為通訊作者)
2011 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2011.05, 'Patching Vulnerabilities with Sanitization Synthesis, ' The 33rd International Conference on Software Engineering (ICSE), ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者)
2010 Tevfik Bultan;Fang Yu;Aysu Betin Can, 2010.08, 'Modular Verification of Synchronization with Reentrant Locks, ' the IEEE/ACM 8th International Conference on Formal Methods and Models for Codesign.(ACM, IEEE)
2010 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2010.08, 'Relational String Verification Using Multi-track Automata, ' 15th International Conference on Implementation and Application of Automata.(DBLP, LNCS)(*為通訊作者)
2010 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2010.03, 'Stranger: An Automata-based String Analysis Tool for PHP, ' the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, The European Joint Conferences on Theory and Practice of Software (ETAPS).(ACM, DBLP, IEEE)(*為通訊作者)
2009 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2009.11, 'Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses, ' the 24th IEEE/ACM International Conference on Automated Software Engineering.(ACM, IEEE)(*為通訊作者)
2009 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2009.03, 'Symbolic String Verification: Combining String Analysis and Size Analysis, ' the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.(ACM, DBLP, IEEE)(*為通訊作者)
2008 Fang Yu*;Chao Wang;Aarti Gupta;Tevfik Bultan, 2008.11, 'Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization, ' the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者)
2008 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2008.08, 'Symbolic String Verification: An Automata-based Approach, ' the 15th International SPIN Workshop on Model Checking of Software, UCLA.(DBLP)(*為通訊作者)
2007 Fang Yu*;Tevfik Bultan;Erik Peterson, 2007.09, 'Automated Size Analysis for OCL, ' the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ACM SIGSOFT, pp.331-340.(ACM, DBLP)(*為通訊作者)