2016

file

Visible to the public Securing Smart Grid by Understanding Communicatons Infrastructure Dependencies

Submitted by kkant on Thu, 11/03/2016 - 8:24am. Contributors:

Abstract: The presentation will talk about our work on the topic so far. In particular, we will present a new lightweight integrity checking algorithm for smart grid communications that can meet the stringent latency requirements of protection switching. We will also discuss a novel method to detect data falsification attacks on smart meters.

file

Visible to the public Towards Resiliency in Cyber-physical Systems for Robot-assisted Surgery

Submitted by Ravi Iyer on Thu, 11/03/2016 - 8:24am. Contributors:

Ravishankar Iyer is the George and Ann Fisher Distinguished Professor of Engineering at the University of Illinois at Urbana-Champaign. He holds joint appointments in the Department of Electrical and Computer Engineering, the Coordinated Science Laboratory (CSL), and the Department of Computer Science and serves as Chief Scientist of the Information Trust Institute and is affiliate faculty of the National Center for Supercomputing Applications (NCSA) and the Carl R. Woese Institute for Genomic Biology at Illinois.

file

Visible to the public Technology Transfer To Practice (SATC TTP)

Submitted by Yasinsac on Thu, 11/03/2016 - 8:18am. Contributor:

Alec Yasinsac is Professor and Dean of the School of Computing at the University of South Alabama. He joined the School of Computing in July 2008 after spending nine years on the faculty at Florida State University which followed a twenty year career in the United States Marines as a Data Systems and Communications Officer.

file

Visible to the public End-to-End Security for the Internet of Things

Submitted by Philip Levis on Thu, 11/03/2016 - 8:15am. Contributors:

Abstract: The Internet of Things is emerging as a critical technology of the next decade, but no-one has yet asked what a security-driven architecture for these applications would look like. The web has shown us that applying existing technologies and a rush to development lead to tremendous security flaws that have piecemeal solutions.

file

Visible to the public Security and Privacy-Aware Cyber-Physical Systems

Submitted by Insup Lee on Thu, 11/03/2016 - 8:15am. Contributor:

Insup Lee is Cecilia Fitler Moore Professor of Computer and Information Science and Director of PRECISE Center, which he co-founded in 2008 at the University of Pennsylvania. His research interests include cyber- physical systems (CPS), real-time systems, embedded systems, high- confidence medical device systems, formal methods, run-time verification, assurance cases, CPS security, and trust management. The theme of his research activities has been to assure and improve the safety, security, and timeliness of life-critical embedded systems.

file

Visible to the public Introduction: Intel-NSF Center for CPS Security

Submitted by yangliuyang on Thu, 11/03/2016 - 8:15am. Contributor:

Liuyang Lily Yang (aka Lily Yang) is a Principal Engineer in Security and Privacy Research at Intel Labs, Hillsboro, Oregon, USA. Lily joined Intel in 1995 and over the last 21 years has held a number of positions at Intel in research, standard development, R&D management, product planning, product management and now academic partnership management.

file

Visible to the public Underwater Power Distribution System for Continuous Operation

Submitted by NinaM on Wed, 11/02/2016 - 6:53pm. Contributor:

Abstract: Success of numerous autonomous and unmanned missions in space, air, ground, and water is measured by the ability of the robots to usefully operate for extended time in highly dynamic and potentially hazardous environments. Persistent operation in unstructured environments hinges on active resource utilization, an example of which is collective power management.

file

Visible to the public SOISTICe: Software Synthesis with Timing Contracts for Cyber-Physical Systems

Submitted by qizhu on Wed, 11/02/2016 - 6:38pm. Contributor:

Abstract: We will introduce SOlSTICe, a software synthesis framework that addresses the timing challenges in CPS by quantitatively exploring timing constraints for multiple conflicting design metrics and across multiple abstraction layers, and using these timing constraints to drive the design space exploration.

file

Visible to the public Resilient Design of Networked Infrastructure Systems: Models, Validation, and Synthesis

Submitted by saurabh on Wed, 11/02/2016 - 6:38pm. Contributor:

Saurabh Amin is the Robert N. Noyce Career Development Assistant Professor in the Department of Civil and Environmental Engineering, Massachusetts Institute of Technology (MIT). His research focuses on the design and implementation of high confidence 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 transportation, water, and energy distribution systems.