Visible to the public System Science of SecUrity and REsilience (SURE)

SoS Newsletter- Advanced Book Block

System Science of SecUrity and REsilience (SURE)


Research Project SURE to launch in October.
Laurel, MD
October 15, 2014

Four university research teams, representing Vanderbilt University, MIT, the University of California at Berkeley, and the University of Hawaii, are about to kick off the research project "System Science of SecUrity and REsilience for cyber-physical systems" (SURE), a research effort funded by NSA. SURE's goals are to develop foundations and tools for designing, building, and assuring cyber-physical systems (CPS) that can maintain essential system properties despite adversaries. Its technology base will provide cyber-physical system (CPS) designers and operators with models, methods, and tools that can be integrated with an end-to-end model-based design flow and tool chain.

According to the team, security and resilience have been largely disjointed or totally missing aspects of CPS design. Due to advances and integration in wireless sensor-actuator networks, the Internet of Things, data-driven analytics, and machine-to-machine interfaces, modern CPS can no longer permit such separation. CPS now has the ability to inter-operate and adapt to open dynamic environments.

New trends in CPS include faster operational time-scales, greater spatial interconnectedness, larger numbers of mixed initiative interactions, and increased heterogeneity of components. These trends are forcing the physical and cyber sides of systems to become tightly coupled. The failure of loosely coupled physical and cyber schemes shows up in unresolved design conflicts between performance and resilience against faults and intrusions, and conflicts between the need for performance optimization and maintaining robustness against adversarial impacts.

As an integral part of the proposed research program, the group will launch a sustained effort to create a new generation of engineers comfortable with understanding, exploiting and managing security and resilience in the context of integrated computational, physical phenomena interacting with human designers and operators.

SURE's research thrusts will focus on: Hierarchical Coordination and Control Resilient monitoring and control of the networked control system infrastructure Science of decentralized security which aims to develop a framework that will enable reasoning about the security of all the integrated constituent CPS components. Reliable and practical reasoning about secure computation and communication in networks which aims to contribute a formal framework for reasoning about security in CPS. Evaluation and experimentation using modeling and simulation integration of cyber and physical platforms that directly interface with human decision-making. Education and Outreach component that aims at education the next generation of researchers in the field of security and resilience of CPS.

The Lead PI, Xenofon Koutsoukos, is an Associate Professor in the Department of Electrical Engineering and Computer Science at Vanderbilt University. He is also a Senior Research Scientist in the Institute for Software Integrated Systems (ISIS). Before joining Vanderbilt, Dr. Koutsoukos was a Member of Research Staff in the Xerox Palo Alto Research Center (PARC) (2000-2002), working in the Embedded Collaborative Computing Area. He received his PhD in Electrical Engineering from the University of Notre Dame in 2000. His research work is in the area of cyber-physical systems with emphasis on formal methods, distributed algorithms, diagnosis and fault tolerance, and adaptive resource management.

Saurabh Amin (PI for MITI) is an Assistant Professor in the MIT Department of Civil and Environmental Engineering. His research focuses on the design and implementation of resilient network control algorithms for infrastructure systems. He works on robust diagnostics and control problems that involve using networked systems to facilitate the monitoring and control of large-scale critical infrastructures, including energy, transportation, and water distribution systems. He also studies the effect of security attacks and random faults on the survivability of these systems, and designs incentive mechanisms to reduce network risks.

Dusko Pavlovic (U. of Hawaii PI) was born in Sarajevo, studied mathematics at Utrecht, and was a postdoc at McGill, before starting an academic career in computer science at Imperial College and at Sussex. He left academia from 1999 to 2009 to work in software research at the Kestrel Institute in Palo Alto. He was a Visiting Professor at Oxford University from 2008-2012, Professor of Information Security at Royal Holloway, University of London (part time at University of Twente in the Netherlands) 2010-2013. He took his current chair in Computer Science at University of Hawaii at Manoa in 2013. Through the years, Dusko's publications covered a wide area of research interests, from mathematics (graphs, categories) through theoretical computer science (semantics, symbolic computation) and software engineering (behavioral specifications, adaptation), to security (protocols, trust, physical security) and network computation (information extraction). Dusko's past publications and the slides of some of his recent talks are available from his web page.

S. Shankar Sastry (UC Berkeley PI) received his B.Tech. from the Indian Institute of Technology, Bombay, 1977, a M.S. in EECS, M.A. in Mathematics and Ph.D. in EECS from UC Berkeley, 1979, 1980, and 1981 respectively. S. Shankar Sastry is currently dean of the College of Engineering. He was formerly the Director of CITRIS (Center for Information Technology Research in the Interest of Society) and the Banatao Institute @ CITRIS Berkeley. He served as chair of the EECS department from January, 2001 through June 2004. In 2000, he served as Director of the Information Technology Office at DARPA. From 1996-1999, he was the Director of the Electronics Research Laboratory at Berkeley, an organized research unit on the Berkeley campus conducting research in computer sciences and all aspects of electrical engineering. He is the NEC Distinguished Professor of Electrical Engineering and Computer Sciences and holds faculty appointments in the Departments of Bioengineering, EECS and Mechanical Engineering. Prior to joining the EECS faculty in 1983 he was a professor at MIT.

The SURE project kickoff meeting is scheduled for Monday, October 27th. (ID#:14-2622)


Note:

Articles listed on these pages have been found on publicly available internet pages and are cited with links to those pages. Some of the information included herein has been reprinted with permission from the authors or data repositories. Direct any requests via Email to SoS.Project (at) SecureDataBank.net for removal of the links or modifications to specific citations. Please include the ID# of the specific citation in your correspondence.