Security and Privacy-Aware Cyber-Physical Systems
pdf
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.
Submitted by Lee Insup
on
pdf
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.
Submitted by Lee Insup
on