Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control

Download
pdf

Abstract:

  • 1544788
  • Autonomous Driving
  • Cornell University
  • CPS Safety
  • Information Flow Control
  • Safety
  • security
  • CPS Domains
  • Transportation
  • Automotive
  • CPS Technologies
  • Platforms
  • Foundations
  • Concurrency and Timing
  • Control
  • Validation and Verification
  • 2015
  • National CPS PI Meeting 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Gookwon Suh on