Education

• BS, Department of Computer Science and Information Engineering, National Taiwan University, 2002-2006
• PhD, Department of Computer Science and Engineering, The Ohio State University, 2006-

Publication

• Y. Hsu and D. Lee, Authentication and Authorization Protocol Security Property Analysis with Trace Inclusion Transformation and Online Minimization, IEEE ICNP 2010.
• Y. Hsu, G. Shu and D. Lee, A Model-based Approach to Security Flaw Detection of Network Protocol Implementation, IEEE ICNP 2008.
• G. Shu, Y. Hsu and D. Lee, Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning, IFIP WG6.1 FORTE, LNCS Vol.5048 2008.
• Y. Hsu, S.F. Hsiao, C.E. Chiang, Y.H. Chien, H.W. Tseng, A.C. Pang, T.W. Kuo and K.H. Chiang, Walking Buddy: An Ultrasonic Dangerous Terrain Detection System, IEEE SMC 2006.

Teaching

• Grader, CSE660: Introduction to Operating Systems [Au07]
• Grader, CSE775: Computer Architecture [Au07]
• Lab Instructor, CSE200:Computer Assisted Problem Solving for Business [Wi08][Sp08][Au08][Sp10]
• Instructor, CSE101:Computer Assisted Problem Solving [Au10][Wi11][Sp11]