Program

Below is the technical program for the the Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2012.


Tuesday, April 17, 2012

0830-0930    CPSWeek 2012 Plenary Session Keynote
Claire Tomlin
Professor of Electrical Engineering and Computer Sciences
University of California, Berkeley
   
0930-1000 COFFEE BREAK (Meeting Hall)
   
Technical Session 1: Resilient Networks
1000-1030 Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information  
Heath Leblanc (Vanderbilt University), Haotian Zhang (University of Waterloo), Shreyas Sundaram (University of Waterloo), Xenofon Koutsoukos (Vanderbilt University)
1030-1100    HMM-Based Characterization of Channel Behavior for Networked Control Systems  
Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George Pappas, Insup Lee (University of Pennsylvania)
1100-1130 Coordinated Variable Structure Switching in Smart Power Systems: Attacks and Mitigation  
Shan Liu, Deepa Kundur, Takis Zourntos, Karen Butler-Purry (Texas A&M University)
   
1130-1300 LUNCH (Juying Restaurant, Friendship Palace, 2nd Floor)
   
1300-1430 Invited Keynote Address and Discussion
Secure Information Flow in Multi-Agent Networked Systems in Adversarial Environments
Tamer Başar
Professor of Electrical and Computer Engineering
University of Illinois at Urbana-Champaign
   
1430-1500 COFFEE BREAK (Meeting Hall)
   
Technical Session 2: Security Games
1500-1530    Leader Selection Games under Link Noise Injection Attacks  
Andrew Clark, Linda Bushnell, Radha Poovendran (University of Washington)
1530-1600 Privacy-Aware Sampling for Residential Demand Response Programs  
Alvaro A. Cárdenas (Fujitsu Laboratories of America), Saurabh Amin (Massachusetts Institute of Technology), Galina Schwartz (University of California, Berkeley)
1600-1630 A Dynamic Game-Theoretic Approach to Resilient Control System Design for Cascading Failures  
Quanyan Zhu, Tamer Başar (University of Illinois at Urbana-Champaign)
   
1630-1900    CPSWeek 2012 Poster and Demonstration Session  
Building 8, Room 5
   
1900-2100    CPSWeek 2012 Welcoming Dinner  
Juying Restaurant, Friendship Palace, 2nd Floor

Wednesday, April 18, 2012
0830-0930    CPSWeek 2012 Plenary Session Keynote
Julian Goldman, M.D.
Director, CIMIT Program on Interoperability and Medical Device Plug-and-Play Interoperability Program
Massachusetts General Hospital
   
0930-1000 COFFEE BREAK (Meeting Hall)
   
Technical Session 3: Attack Diagnosis
1000-1030    Integrity Attacks on Cyber-Physical Systems  
Yilin Mo, Bruno Sinopoli (Carnegie Mellon University)
1030-1100 Cyber-Security and Safety Analysis of Cyber-Physical Systems  
André Teixeira, Daniel Huertas, Henrik Sandberg, Karl Henrik Johansson (Royal Institute of Technology, Sweden (KTH))
1100-1130 Distributed Detection and Isolation of Topology Attacks in Power Networks  
James Weimer (Royal Institute of Technology, Sweden (KTH), Soummya Kar (Carnegie Mellon University), Karl Henrik Johansson (Royal Institute of Technology, Sweden (KTH))
   
1130-1300 LUNCH (Juhe Restaurant, Friendship Palace, 1st Floor)
   
1300-1430 Invited Keynote Address and Discussion
Toward a Science of Cyber-Physical Systems Integration
Janos Sztipanovits
Professor of Electrical Engineering and Computer Engineering
Director, Institute for Software Integrated Systems
Vanderbilt University
   
1430-1500 COFFEE BREAK (Meeting Hall)
   
Technical Session 4: Security Experimentation
1500-1530    NCS Security Experimentation Using DETER  
Alefiya Hussain (University of Southern California Information Sciences Institute), Saurabh Amin (Massachusetts Institute of Technology)
1530-1600 Integrated Simulation and Emulation Platform for Cyber-Physical System Security Experimentation  
Yuan Xue, Wei Yan, Xiaowei Li (Vanderbilt University)
1600-1630 HiCoNS'12 Discussion and Future Conference Planning  
All Conference Attendees
   
1700 CONFERENCE END
   
1830-2200    CPSWeek 2012 Dinner  
Juhe Restaurant, Friendship Palace, 1st Floor