In this paper, we describe our development of a Naval air warfare decision support interface called the Response Manager using rapid prototyping and Decsion-Centered Design. Specifically, we took eight steps to ensure that our design would meet the needs of its intended users and possess a high degree of usability: 1) recruit expert informants, 2) assemble a comprehensive set of possible featur...

We asked 7 experts 7 questions to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems. We are continually reminded of the 1996 paper by Tony Hoare "How did Software Get So Reliable Without Proof?" [1] In that vein, how did we get so insecure with proof? Given daily press announcements concerning new malware, data breaches, and privacy...