Publications by Year

2021

High-Assurance Modeling and Rapid Engineering for Embedded Systems Using AADL
John Hatcliff, Dr. Robby, Jason Belt, Todd Carpenter, John Shackleton

2020

Safety Annex for the Architecture Analysis and Design Language
Danielle Stewart, Ph.D., Jing Liu, Darren Cofer, Mats Heimdahl, Michael W. Whalen, Michael Peterson

2018

Countering Inside Threat Actors in Algorithm-Based Media
Tyler D. Smith
Real World Examples Suggest a Path to Automated Mitigation of Disinformation
Brian Isle, Tyler D. Smith
Challenges of distributed risk management for medical application platforms
John Hatcliff, Eugene Y. Vasserman, Todd Carpenter, Rand Whillock
A Reference Architecture for Secure Medical Devices
Steven Harp, Todd Carpenter, John Hatcliff

2017

Designing Cybersecurity into Connected Medical Devices
Todd Carpenter

2011

Crumple Zones: Absorbing Attack Effects Before They Become a Problem
Michael Atighetchi, Partha Pal, Aaron Adler, Andrew Gronosky, Fusun Yaman, Jonathan Webb, Joe Loyall, Asher Sinclair, Charles Payne, Jr.
Device for Preventing, Detecting and Responding to Security Threats
Steven A. Harp, Tom Haigh, Johnathan Gohde, Richard O'Brien, Charles Payne, Jr., Ryan VanRiper

2010

AIMFIRST: Planning for Mission Assurance
Tom Haigh, Steven Harp, Charles Payne, Jr.