Document Actions
Final Program
2007 2nd iCAST/CMU/TRUST Joint Conference
on Security and Privacy Technologies
(2007.06.04-05)
Howard International House, Taipei, Taiwan
Final Program
June 4 (Monday)
|
1:00-1:45 |
Registration |
I. Pervasive Security and Privacy Assurance, P-SPA
1:45 -5:00 Session Chairs: Yih-Kuen Tsay and Tyng-Ruey Chuang
|
1:45-1:50 |
Opening Remarks |
|
1:50-2:40 |
“A Very Brief History of Model Checking”, “Compositional Model Checking Using Machine Learning Technique”, and “Statically Verifying Memory Safety” Edmund M. Clarke (CMU) |
|
2:40-3:00 |
“Formalization of CTL* in the Calculus of Inductive Constructions” Bow-Yaw Wang (Academia Sinica) |
|
3:00-4:00 |
Break & Demo |
|
4:00-4:40 |
“Remote Authentication and Ubiquitous Trust Establishment” Adrian Perrig (CMU); Bo-Yin Yang (Academia Sinica); Yen-Ching Lin (NTUST); Ahren Studer (CMU); Mark Luk (CMU) |
|
4:40-5:00 |
“Privacy Preferences, Negotiation and Customized Privacy Contract” Seng-Cho Timothy Chou (NTU) |
Demo: 2:50 – 4:00
Banquet: 6:30 – 9:00 PM (By Invitation Only)
June 5 (Tuesday)
II. Wireless and Sensor Security
9:00 -12:10 Session Chairs: Shiuh-Pyng Shieh and Chin-Laung Lei
|
9:00-9:20 |
“State of TRUST: Team for Research in Ubiquitous Secure Technology” Shankar Sastry (UCB) |
|
9:20-9:35 |
“Systematic Approach to Sensor Network Security“ Tanya Roosta (UCB) |
|
9:35-9:50 |
“Modeling Wireless Mesh Networks for Real-Time Applications” Phoebus Chen (UCB) |
|
9:50-10:05 |
“Deploy Novel Wireless City by Use of WiFi and WiMAX technologies” Yu-Tso Chen (ITRI) |
|
10:05-10:15 |
“A Declarative Sensornet Architecture” David Chu (UCB) |
|
10:15-10:25 |
“Dense Network Architecture for Storage” Victor Wen (UCB) |
|
10:25-10:50 |
Break |
|
10:50-11:10 |
“Sensor Networks for Video Surveillance” Raj Rajkumar (CMU) |
|
11:10-11:25 |
“Smart Cameras for Video Surveillance Networks” Chao-Chun Yeh (ITRI) |
|
11:25-11:40 |
“Secure Data Aggregation and Camera Mote for Sensor Network” Eric Shih-I Huang (ITRI) |
|
11:40-11:55
|
“EVIA: Efficient and Verifiable In-Network Aggregation in Sensor Networks” Yu-Shian Chen (NTU) |
|
11:55-12:10 |
“Hash-based RFID Authentication Protocol for Pervasive System with Robust Privacy-Protection” Kuo-Hui Yeh (NTUST) |
III. Intrusion Detection and Management
1:30 -5:00 Session Chairs: Bao-Shuh Lin and Su Lu
|
1:30-1:50 |
"Learning Techniques for Intrusion Detection/Prevention” Tsuhan Chen (CMU) |
|
1:50-2-10 |
“A Three-tier IDS via Data Mining Approach” Hsing-Kuo Pao (NTUST) |
|
2:10-2:40 |
"Evasion Issues for Network Intrusion Detection” Vern Paxson (UCB) |
|
2:40-2:55 |
“A Tool for Testing Evasion Resilience of Network Intrusion Detection Systems” Chih-Hung Lin (III) |
|
2:55-3:10 |
“A Distributed Network Security Assessment Tool with Vulnerability Scan and Penetration Test” Hsin-Chieh Kao (III) |
|
3:10-3:40 |
Break |
|
3:40-4:05 |
“The DETER Testbed” Anthony Joseph (UCB) |
|
4:05-4:25 |
“Network-based Early Anomaly Detection of Intrusion” Yeali S Sun (NTU) |
|
4:25-4:45 |
“Quantitative Risk Assessment Architecture Based on OCTAVE Method” Yi-Bin Lu (NDU) |
|
4:45-5:00 |
Closing Remarks |