09:00-09:30

Registration

09:30-09:40

Opening Remarks

09:40-10:20

Keynote Speech: “MODEL CHECKING: My 27-Year Quest to Overcome the State Explosion Problem”, Edmund M. Clarke (CMU)

10:20-11:00

“What Are We Trying to Prove? Why Logic Matters for Computer Security?”

 Peter Lee (CMU)

11:00-11:20

Break

11:20-11:55

“Grey: A Practical Logic-based Access-control System”, Lujo Bauer (CMU)

11:55-12:30

“BitBlaze: a New Approach to Computer Security via Binary Analysis”, Dawn Song (UCB)

12:30 – 13:20 Lunch Break        13:00 – 14:00 Demo

II. Wireless and Sensor Network Security

14:00 -17:00    Session Chairs:  Shiuhpyng Shieh and Tien-Ruey Hsiang

14:00-14:30

“Wireless and Software Security”

Wen-Guey Tzeng (NCTU), Shih-Kun Huang (NCTU), Wei-Chung Teng (NTUST) 

14:30-15:00

“SWOON: a Secure Wireless Overlay Observation Network Testbed”, Yu-Lun Huang (NCTU), Chien-Hua Chiu ( NTU), Bo-Ting Chen ( NCTU), Chih-Yuan Wang ( NTUST), Cing-Hao Liou ( NTUST), Mao-Jie Lin (NCKU), Shiuan-Tzuo Shen (NCTU), Tzu-I Yang (NCTU), Yu-Kai Hsiao (TKU), Zong-Syun Lin (NCTU)

15:00-15:40

Break and DEMO

15:40-15:50

“SCADA Attack: Detection & Response”, Zong Syun Lin (NCTU)

15:50-16:00

“Profiling User Behavior by Digital Forensics Technique”, Tzu-I Yang (NCTU)

16:00-16:10

“Detecting Virtualization Resistant Behavior in Modern Malware”, Mao-Jie Lin (NCKU)

16:10-16:20

“Using Multi-core Processor for Network Intrusion Detection”, Bo-Ting Chen (NCTU)

16:20-16:30

“Implementing Verifiable Order Statistics for Secure Aggregation”

Chih-Yuan Wang (NTUST)

16:30-16:40

“Anonymous Routing Protocol for Asymmetric Communication Wireless Mesh Networks”

Yu-Kai Hsiao (TKU)

16:40-16:50

“Loop Optimization in Catchconv”, Shiuan-Tzuo Shen (NCTU)

16:50-17:00

“A long-term System based on Reputation”, Cing-Hao Liou (NTUST)

09:30-09:50

“Methods for Software Security Verification”, Yih-Kuen Tsay (NTU)

09:50-10:10

“1. Improving the Learning-based Approach to Compositional Verification, 2. Memory Safety of Programs with Inductive Pointer Structures”

Yu-Fang Chen (NTU), Ming-Hsien Tsai (NTU)

10:10-10:40

“SPATE: A Complete System for Public Key Management within Small Groups”

Adrian Perrig (CMU), Bo-Yin Yang (Academia Sinica)

10:40-11:00

“SPATE Project and a Study of Visual Hash ( Small-group PKI-less Authenticated Trust Establishment)”, Yueh-Hsun Lin (NTHU), King-Hang Wang (NTHU), Hsu-Chun Hsiao (CMU)

11:20-11:40

“A Trustable Reputation Scheme”, Shin-Yan Chiou (ITRI)

11:40-11:50

“A Trustable Reputation Scheme Based on Private Relationships”, Ghita Mezzour (CMU)

11:50-12:00

“CITRIC Camera Mote Update”, Colby Boyer (UCB), Leon Lin (ITRI)

12:00-12:10

“Algebraic Approach for Recovering Topology in Distributed Camera Networks”

Phoebus Chen (UCB)

13:10-13:45

“Graph Mining”, Christos Faloutsos (CMU)

13:45-14:35

“Towards Greater Depth in Network Security Monitoring”

Vern Paxson (UCB), Po-Ching Lin (III), Chien-Tsung Liu (III)

14:35-14:50

“The First Taiwanese ESM Software: UGuard”, Jason Lee (ISSDU)

14:50-15:10

“System Dynamics Based Insider Threats Modeling”, Sang-Chin Yang (NDU)

15:10-15:30

Break

15:30-16:10

“Network Security and Management”, Chi-Sung Laih (NCKU), Yi-Leh Wu (NTUST), Meng-Chang Chen (Academia Sinica), Chia-Mei Chen (NSYSU)

16:10-16:20

“The Design and Implementation of Web Application IDS”, Ming-Kung Sun (NCKU)

16:20-16:30

“Finding Trajectory of Malicious Behaviors using Relational Activity Graph”

Ching-Hao Mao (NTUST)

16:30-16:40

“Anomaly Detection via Incremental and Decremental PCA”, Yi-Ren Yeh (NTUST)

16:40-16:50

“NetFlow Based Botnet Detection”, Hsiao-Chung Lin (NSYSU)

16:50-17:00

“Rx2V: A PCRE-extended Generator for High Efficient FPGA-based Pattern Matching”

Yuan-Chin Wen (NTU)

17:00-17:10

“Behavior Profiling of Internet Attacks”, Shun-Wen Hsiao (NTU), Chang-Huan Wu (NTU)