Program

Below is the technical program for the the 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2014.


Tuesday, April 15, 2014
0800-0830 REGISTRATION AND BREAKFAST
   
0830-1000    CPSWeek 2014 Plenary Session Keynote
   
1000-1030 COFFEE BREAK
   
Regular Session: Monitoring and Estimating
Session Chair: Michael Lemmon
1030-1100 Resilient Multidimensional Sensor Fusion Using Measurement History  
Radoslav Ivanov (University of Pennsylvania), Miroslav Pajic (University of Pennsylvania), Insup Lee (University of Pennsylvania)
1100-1130    Fundamental Limits of Nonintrusive Load Monitoring  
Roy Dong (University of California, Berkeley), Lillian Ratliff (University of California, Berkeley), Henrik Ohlsson (University of California, Berkeley), S. Shankar Sastry (University of California, Berkeley)
1130-1200 Resilient Distributed Parameter Estimation in Heterogeneous Time-Varying Networks  
Heath LeBlanc (Ohio Northern University), Firas Hassan (Ohio Northern University)
   
1200-1330 LUNCH
   
Invited Talk
Session Chair: Xenofon Koutsoukos
1330-1430 A Passivity Framework for Modeling and Mitigating Attacks on Networked Control Systems  
Radha Poovendran (University of Washington)
1430-1500 Q&A  
   
1500-1530 COFFEE BREAK
   
Regular Session: Application Security
Session Chair: Heath LeBlanc
1530-1600    Understanding the Security of Interoperable Medical Devices using Attack Graphs  
Curtis Taylor (Worcester Polytechnic Institute), Krishna K. Venkatasubramanian (Worcester Polytechnic Institute), Craig Shue (Worcester Polytechnic Institute)
1600-1630 Resilient Distributed Consensus for Tree Topology  
Mark Yampolskiy (Vanderbilt University), Yevgeniy Vorobeychik (Vanderbilt University), Xenofon Koutsoukos (Vanderbilt University), Peter Horvath (Vanderbilt University), Heath LeBlanc (Ohio Northern University), Janos Sztipanovits (Vanderbilt University)
1630-1700 A Module for Anomaly Detection in ICS Networks  
Matti Mantere (VTT Technical Research Centre of Finland), Mirko Sailio (VTT Technical Research Centre of Finland), Sami Noponen (VTT Technical Research Centre of Finland)
   
1700-2000    CPSWeek 2014 Poster & Demonstration Session  
HiCoNS Posters  
Energy Efficiency via Behavior Modification and Utility Learning  
Lillian Ratliff (University of California, Berkeley), Roy Dong (University of California, Berkeley), Henrik Ohlsson (University of California, Berkeley), S. Shankar Sastry (University of California, Berkeley)
Decisions for Autonomous Vehicles: Integrating Sensors, Communication, and Control  
Katherine Driggs-Campbell (University of California, Berkeley), Victor Shia (University of California, Berkeley), Ruzena Bajcsy (University of California, Berkeley)
Forecasting the Resilience of Networked Dynamical Systems Under Environmental Pertubation  
Tua Tamba (University of Notre Dame), Michael Lemmon (University of Notre Dame)
User Interface Design and Verification for Semi-Autonomous Driving  
Dorsa Sadigh (University of California, Berkeley), Katherine Driggs-Campbell (University of California, Berkeley), Ruzena Bajcsy (University of California, Berkeley), S. Shankar Sastry (University of California, Berkeley), Sanjit A. Seshia (University of California, Berkeley)
Is this a Good Time? Deciding When to Launch Attacks Against Cyber-Physical Systems  
Marina Krotofil (Hamburg University of Technology), Alvaro Cardenas (University of Texas at Dallas)

Wednesday, April 16, 2014
0800-0830 REGISTRATION AND BREAKFAST
   
0830-1000    CPSWeek 2014 Plenary Session Keynote
   
1000-1030 COFFEE BREAK
   
Regular Session: Verification
Session Chair: Sayan Mitra
1030-1100    A Formal Verification Approach To Revealing Sealth Attacks on Networked Control Systems  
Nikola Trcka (United Technologies Research Center), Alberto Speranzon (United Technologies Research Center), Shaunak Bopardikar (United Technologies Research Center), Mark Moulin (United Technologies Research Center)
1100-1130 Graph-Based Verification and Misbehavior Detection in Multi-Agent Networks  
Phillip Lee (University of Washington), Omar Saleh (King Abdulaziz City for Science and Technology), Basel Alomair (King Abdulaziz City for Science and Technology), Linda Bushnell (University of Washington), Radha Poovendran (University of Washington)
1130-1200 Safety Envelope for Security  
Ashish Tiwari (SRI International), Bruno Dutertre (SRI International), Dejan Jovanovic (SRI International), Patrick Lincoln (SRI International), John Rushby (SRI International), Dorsa Sadigh (University of California, Berkeley), Sanjit Seshia (University of California, Berkeley)
   
1200-1330 LUNCH
   
Regular Session: Networked and Distributed Control Systems
Session Chair: Peter Horvath
1330-1400 Distributed Switching Control to Achieve Resilience to Deep Fades in Leader-Follower Nonholonomic Systems  
Bin Hu (University of Notre Dame), Michael Lemmon (University of Notre Dame)
1400-1430 On the Cost of Differential Privacy in Distributed Control Systems  
Zhenqi Huang (University of Illinois at Urbana Champaign), Yu Wang (University of Illinois at Urbana Champaign), Sayan Mitra (University of Illinois at Urbana Champaign), Geir Dullerud (University of Illinois at Urbana Champaign)
1430-1500 Energy-Based Attack Detection in Networked Control Systems  
Emeka Eyisi (Vanderbilt University), Xenofon Koutsoukos (Vanderbilt University)
   
1500-1600 COFFEE BREAK
   
Invited Talk
Session Chair: Saurabh Amin
1600-1700    From CRCs to Resilient Control Systems: The Slow Change from Reliability to Security  
Alvaro Cardenas (University of Texas at Dallas)
1700-1730 Q&A  
   
1800    CPSWeek 2014 Dinner  

Thursday, April 17, 2014
0800-0830 REGISTRATION AND BREAKFAST
   
0830-1000    CPSWeek 2014 Plenary Session Keynote
   
1000-1030 COFFEE BREAK
   
Invited Session: On Improving CPS Resilience by Integrating Robust Control and Theory of Incentives
Session Chair: Larry Rohrbough
1030-1100    Multilateral Trades in Interconnected Power Networks: A Local Public Goods Approach  
Erik Miehling (University of Michigan), Demosthenis Teneketzis (University of Michigan)
1100-1130 On the Assessment and Mitigation of Vulnerabilities in Urban Water Distribution Networks  
Lina Perelman (Technion-Israel Institute of Technology), Saurabh Amin (Massachusetts Institute of Technology)
1130-1200 The Intricacies of Cyber-Insurance for Large Scale Networks with Interdependent Security  
Galina A. Schwartz (University of California, Berkeley), S. Shankar Sastry (University of California, Berkeley)
   
1200 CONFERENCE END
   
1200-1330 LUNCH
   
1330-1430 HiCoNS Business Meeting