2018: DOLL/Vanderbilt University wins CASE

DOLL will subcontract to Vanderbilt University to develop DCRYPPS on the DARPA CASE program. DCRYPPS (Deriving Cyber-security Requirements Yielding Protected Physical Systems) will help automate the design and implementation of cyber physical systems (CPS) to meet stringent cyber security requirements, without sacrificing functional performance, maintaining timing and cost constraints. The system will help derive the cyber security requirements, using model based diagnosis, cyber physical properties and cyber physical attack models, analysis of cyber requirements, and use of probabilistic certificates in managing cyber security requirements.