Session 1 (9-10:30)
(1) Welcome (10min)
(2) Invited talk (TBA 1 hr including Q/A session)
(3) Paper presentation (20 minutes)
     Karthik Lakshmanan and Raj Rajkumar. RETROFIT: Reliable Exchanges Through   Resilient Overlays For Internet Teleoperation

10:30-11 break 

Session 2: (11-12:30)
(Paper presentation, each 20 minutes)
(1) KD Kang and Sang Son. Real-Time Data Services for Cyber Physical Systems 
(2) Zhong Xu, Xue Liu, Guoqing Zhang, Wenbo He, Guanzhong Dai and Weihuan    Shu. McCLS: Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems 
(3) Alvaro Cardenas, Saurabh Amin and Shankar Sastry. Secure Control: Towards Survivable Cyber-Physical Systems 
(4) James Weimer, Bruno Sinopoli and Bruce Krogh. A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks 

Lunch break (12:30-2:00)

Session 3: (2-3:40)
(1) Invited talk (1 hour) Kevin Kwiat
(2) Paper presentation (20 minutes each)
     a. Veljko Krunic and Richard Han. Towards Cyber-Physical Holodeck Systems Via Physically Rendered Environments (PRE's) 
     b. Le Xie and Marija Ilic. Module-based Modeling of Cyber-Physical Power Systems 

Break 3:40 -- 4:00

Session 4: 4:00 - 5:00
(1) Paper presentations
     a. (20 minutes) Han Tang and Bruce McMillin. Security Property Violation in CPS through Timing 
     b. (10 minutes) Honguk Woo, Jianliang Yi, James Browne, Aloysius Mok, Ella Atkins and Fei Xie. Design and Development Methodology for Resilient Cyber-Physical Systems 
     c. (10 minutes) Albert Cheng. Cyber-Physical Medical and Medication Systems 
     d. (10 minutes) Ahmed Elmagarmid, Rimma Nehme and Mourad Ouzzani. SpaSy ?A Dataspace Management System 
     e. 10min discussion


(2) Panel discussion (5:00-5:30 or 6:00)