(2007.06.04-05)
|
11:30-12:30 |
[ PLAY ] Demo (Video-Clip) |
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 |
[ PLAY
] Opening Remarks General Chair : Der-Tsai Lee,
Academia Sinica |
|
1:50-2:40 |
[ PLAY ] Session Chair: Yih-Kuen
Tsay [ PLAY
] A Very Brief
History of Model Checking [ PLAY
] Compositional
Model Checking Using Machine Learning Technique [ PLAY
] Statically Verifying Memory Safety Speaker : Edmund M. Clarke (CMU) |
|
2:40-3:00 |
[ PLAY ] Formalization of CTL* in the
Calculus of Inductive Constructions Speaker : Bow-Yaw Wang (Academia Sinica) |
|
4:00-4:40 |
[ PLAY ] Session Chair: Tyng-Ruey Chuang [ PLAY ] Remote
Authentication and Ubiquitous Trust Establishment Speaker : Adrian Perrig (CMU); Bo-Yin Yang (Academia Sinica);
Yen-Ching Lin (NTUST); Ahren
Studer (CMU); Mark Luk
(CMU) |
|
4:40-5:00 |
[ PLAY ] Privacy Preferences,
Negotiation and Customized Privacy Contract Speaker : Seng-Cho Timothy
Chou (NTU) |
|
6:30-8:30 |
[ PLAY ] Dinner (Video-Clip) |
II. Wireless and Sensor Security
9:00 -12:10 Session Chairs: Shiuh-Pyng Shieh and Chin-Laung Lei
|
9:00-9:20 |
[ PLAY ] Session Chair: Shiuh-Pyng Shieh [ PLAY
] State of Speaker : Shankar Sastry (UCB) |
|
9:20-9:35 |
[ PLAY
] Systematic
Approach to Sensor Network Security Speaker : Tanya Roosta (UCB) |
|
9:35-9:50 |
[ PLAY
] Modeling
Wireless Mesh Networks for Real-Time Applications Speaker : Phoebus Chen
(UCB) |
|
9:50-10:05 |
[ PLAY
] Deploy Speaker : Yu-Tso Chen (ITRI) |
|
10:05-10:15 |
[ PLAY
] A Declarative
Sensor Network Architecture Speaker : David Chu (UCB) |
|
10:15-10:25 |
[ PLAY
] Dense Network
Architecture for Storage Speaker : Victor Wen (UCB) |
|
10:50-11:10 |
[ PLAY ] Session Chair: Chin-Laung
Lei [ PLAY
] Integrated
Video Surveillance and Sensing Speaker : Raj Rajkumar (CMU) |
|
11:10-11:25 |
[ PLAY
] Smart Cameras
for Video Surveillance Networks Speaker : Chao-Chun Yeh (ITRI) |
|
11:25-11:40 |
[ PLAY ] Introduction to Secure Data
Aggregation in Wireless Sensor Networks & Camera
Mote Speaker : Eric Shih-I
Huang (ITRI) |
|
11:40-11:55 |
[ PLAY
] EVIA: Efficient
and Verifiable In-Network Aggregation in Sensor Networks Speaker : Yu-Shian Chen (NTU) |
|
11:55-12:10 |
[ PLAY ] A Hash-based Mutual
Authentication Scheme for Security Enhancement and Privacy Protection in Speaker : 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 |
[ PLAY ] Learning Techniques for Intrusion Detection/Prevention Speaker : Tsuhan Chen (CMU) |
|
1:50-2:10 |
[ PLAY ] A Three-tier IDS via Data Mining Approach Speaker : Hsing-Kuo Pao (NTUST) |
|
2:10-2:40 |
[ PLAY ] Evasion Issues for Network Intrusion
Detection Speaker : Vern Paxson (UCB) |
|
2:40-2:55 |
[ PLAY ] A Tool for Testing Evasion Resilience of
Network Intrusion Detection Systems Speaker : Chih-Hung Lin (III) |
|
2:55-3:10 |
[ PLAY ] A Distributed Network Security Assessment
Tool with Vulnerability Scan and Penetration Test Speaker : Hsin-Chieh Kao (III) |
|
3:40-4:05 |
[ PLAY ] Session Chair: Su Lu [ PLAY ] FY2006 Final
Report Speaker : Anthony Joseph (UCB) |
|
4:05-4:25 |
[ PLAY ] Network-based Early Anomaly Detection of
Intrusion Speaker : Yeali S Sun (NTU) |
|
4:25-4:45 |
[ PLAY ] Quantitative Risk Assessment Architecture
Based on OCTAVE Method Speaker
: Yi-Bin Lu (NDU) |
|
4:45-5:00 |
[ PLAY ]
Closing Remarks Chair : Der-Tsai Lee, Academia Sinica |