activity
20192021
most citedAssured Autonomy: Path Toward Living With Autonomous Systems We Can Trust

14 citations · 18 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.CR2019★ 4 cited

Deriving Cyber-security Requirements for Cyber Physical Systems

Robert Laddaga, Paul Robertson, Howard Shrobe +3

Today's cyber physical systems (CPS) are not well protected against cyber attacks. Protected CPS often have holes in their defense, due to the manual nature of today's cyber securi…