2008 1^st iCAST/CMU/TRUST Joint Conference

on Security and Privacy Technologies (2008.1.7-8)

IB101, National Taiwan University of Science and Technology, Taipei, Taiwan

Program

AM, Monday, January 7

8:40-9:00

Registration

I. Pervasive Security and Privacy Assurance

9:00-12:00 Session Chair: Yih-Kuen Tsay

9:00-9:10	Opening Remarks
9:10-9:40	"Is Program Analysis Really Relevant to Cybersecurity?" Peter Lee (CMU)
9:40:10:00	“Verifying Memory Safety of Programs with Dynamic Data Structures” Stephen Magill (CMU), Ming-Hsien Tsai (NTU)
10:00-10:20	“Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages” Yu-Fang Chen (NTU)
10:20-11:00	“GAnGS: Gather, Authenticate 'n Group Securely” Adrian Perrig (CMU), Bo-Yin Yang (Academia Sinica), Ahren Studer (CMU), Jonathan McCune (CMU), Chia-Hsin Chen (Academia Sinica), Chung-Wei Chen (NTHU), Yan-Hao Lai (NCHU)
11:00-11:15	Break
11:15-11:40	“ Durability and Privacy from Adhoc Wireless Storage” John Kubiatowicz (UCB)
11:40-12:00	“ The DETER Testbed: An Overview of Design, Implementation and Use” Eric Fraser (UCB)

PM, Monday, January 7

II. Wireless Security and Video Surveillance

1:00 -4:45 Session Chairs: Shiuhpyng Shieh and Wei-Chung Hwang

1:00-1:25	“Secured Video Surveillance” Ragunathan Rajkumar (CMU)
1:25-1:40	“ICNet: Securty and Privacy in Video Surveillance Networks” Eric Shih-I Huang (ITRI)
1:40-2:00	“Combining TLS and TPMs to Achieve Device and User Authentication for Wi-Fi and WiMAX Citywide Networks” Yu-Tso Chen (ITRI), Adrian Perrig (CMU)
2:00-2:15	Break
2:15-2:30	“SECUR: Secure Environment-aware Configurable Ubiquitous oveRlay” Shiuhpyng Shieh (NCTU)
2:30-2:45	“Unforgeably Verifiable In-Network Aggregation” Hsu-Chun Hsiao (NTU)
2:45-3:00	“ UCB/ITRI Wireless Camera Mote Status Update” Phoebus Chen (UCB)
3:00-3:15	“Hierarchical Proxy Re-Encryption with Application to Access Control” Hsiao-Ying Lin (NCTU)
3:15-3:30	“Dynamic Pharming Attacks and Locked Same-origin Policies for Web Browsers” Chris Karlof (UCB)
3:30-3:45	“Secure Logging in Wireless Forensic” Jia-Chun Lin (NCTU)
3:45-4:00	“Can Machine Learning Be Secure?” Marco Barreno (UCB)
4:00-4:15	“A Graph Approach to Quantitative Analysis of Control Flow Obfuscating Transformations” Hsin-Yi Tsai (NCTU)
4:15-4:30	“Testbed Implementation of Secure Flooding Time Synchronization Protocol” Tanya Roosta (UCB)
4:30-4:45	“Optimizing Heterogeneous Networks” David Chu (UCB)

n Demo Tour: 4:50 – 5:30

n Banquet: 6:30 – 9:00 pm (By Invitation Only), Place: 14F, VIP Room, Howard International House

AM, Tuesday, January 8

III. Intrusion Detection and Risk Management

9:00-11:50 Session Chairs: Frank Ching-Chi Hsu and Sy-Yeuan Liou

9:00-9:30	"Machine Learning and Privacy Protection” Justin Zhan (CMU)
9:30-9:55	“A Tool for Offline and Live Testing of Evasion Resilience in Network Intrusion Detection Systems” Demo Vern Paxson (UCB), Li-Chou Juan (III)
9:55-10:10	" Statistical Learning for Novel Attack Discovery ” Gary A. Blosser (CMU), Chih-Hung Lin (III)
10:10-10:25	“Exploitation Relay for Penetration Test in Verifying System Vulnerabilities” Hsin-Chieh Kao (III)
10:25-10:40	Break
10:40-11:00	"IDEAS: Intrusion Detection and Event Analysis System" Yi-Leh Wu (NTUST)
11:00-11:20	“Defending On-Line Web Application Security” Chi-Sung Laih, Yu-Chin Cheng (NCKU)
11:20-11:40	“Stealthy Attack Detection and Scalable Network Forensics” Yeali S. Sun, Mike Shun-Wen Hsiao (NTU) , Hui Zhang (CMU)
11:40-12:00	“ A Web-Based Risk Assessment Architecture” Yi-Bin Lu (CCIT)
12:00-12:10	Closing Remarks

1:30-4:45pm, Tuesday, January 8

Tutorial: Adrian Perrig (CMU)

“New Technologies for Trusted Computing_1”