14 citations · 30 across the 6 of their papers we have counts for
6 papers
Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance
Gregory Falco, Paul Cornish, Sadie Creese +11
Spending on cybersecurity products and services is expected to top 123 billion U.S. dollars for 2020, more than double the 55 billion U.S. dollars spent in 2011.1 In that same peri…
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust
Ufuk Topcu, Nadya Bliss, Nancy Cooke +4
The challenge of establishing assurance in autonomy is rapidly attracting increasing interest in the industry, government, and academia. Autonomy is a broad and expansive capabilit…
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…
Sound and Complete Runtime Security Monitor for Application Software
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection sys…
On the Formal Semantics of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that…
On the Behavioural Formalization of the Cognitive Middleware AWDRAT
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
We present our ongoing work and initial results towards the (behavioral) correctness analysis of the cognitive middleware AWDRAT. Since, the (provable) behavioral correctness of a…