Recent Funding

MAILLE: Microkernal Application Information fLow with Logic-based Enforcement

John Hatcliff (K-State PI) with Robby (co-PI); and Todd Carpenter (Lead PI) at Adventium Labs.

U.S. Air Force Research Laboratory (AFRL) Small Business Innovation Research (SBIR) Phase II. Project total: $749,957 (K-State’s portion: $347,000). Duration: May 2021 - April 2023.

SIRFUR: Software Implementation from Rigorous Formal Usable Requirements

John Hatcliff (K-State PI), with Robby (co-PI); and Todd Carpenter (Lead PI) at Adventium Labs.

Defense Advanced Research Projects Agency (DARPA) Small Business Innovation Research (SBIR) Phase II. Project total: $1,499,766 (K-State’s portion: $693,000). Duration: October 2020 - December 2023.

GUMBO II: Grand Unified Modeling of Behavior Operators

John Hatcliff (K-State PI) with Robby (co-PI); and Danielle Stewart (Lead PI) at Adventium Labs.

U.S. Army Combat Capabilities Development Command (CCDC) Aviation & Missile Center (previously AMRDEC) Small Business Innovation Research (SBIR) Phase II. Project total: $1,099,936 (K-State’s portion: $410,000). Duration: August 2020 - August 2022.

High-Assurance Model-Based System Engineering for Safety and Security

Robby (K-State PI), with John Hatcliff (co-PI).

Collins Aerospace – a sub-contract of Defense Advanced Research Projects Agency (DARPA) Cyber Assured Systems Engineering (CASE) no. HR00111890001. Project total: $1,139,909. Duration: May 2019 - February 2022.

Cyber Assured Systems Engineering (CASE): Architecture Translation and Information Flow Analysis for High-Assurance Embedded Systems with Separation Kernels

Robby (K-State PI), with John Hatcliff (Co-PI); and John Shackleton (Lead PI) and Todd Carpenter at Adventium Labs

Collins Aerospace – a sub-contract of Defense Advanced Research Projects Agency (DARPA) Cyber Assured Systems Engineering (CASE) Other Transaction Agreement (OTA) no. HR00111890001. Sub-contract total: $950,000 (K-State’s portion: $375,000). Duration: August 2018 - February 2022 (K-State’s duration: August 2018 - April 2021).

AADL Analyses & Modeling Strategies for Safety and Security

John Hatcliff (PI), Robby and Eugene Vasserman (co-PIs).

Carnegie Mellon University (CMU) / Software Engineering Institute (SEI). Project total: $420,000. Duration: May 2019 - September 2020.

Information Flow Control for Microkernels

John Hatcliff (K-State PI) with Robby (co-PI); and Todd Carpenter (Lead PI) at Adventium Labs.

U.S. Air Force Research Laboratory (AFRL) Small Business Innovation Research (SBIR) Phase I. Project total: $150,000 (K-State’s portion: $46,724). Duration: July 2019 - January 2020.

GUMBO: Grand Unified Modeling of Behavior Operators

John Hatcliff (K-State PI) with Robby (co-PI); and Rand Whillock (Lead PI) and Todd Carpenter at Adventium Labs.

U.S. Army Combat Capabilities Development Command (CCDC) Aviation & Missile Center (previously AMRDEC) Small Business Innovation Research (SBIR) Phase I. Project total: $100,000 (K-State’s portion: $10,000). Duration: April - August 2019.

Fault Injection and Analysis for Safety and Security

John Hatcliff (PI), Robby and Eugene Vasserman (co-PIs).

Carnegie Mellon University (CMU) / Software Engineering Institute (SEI). Project total: $100,500. Duration: February 2018 - January 2019.

Intrinsically Secure, Open, and Safe Control of Essential LayErS (ISOSCELES) (High-integrity open source platform for network-enabled medical devices)

John Hatcliff (K-State PI) with Robby, Eugene Vasserman; and Todd Carpenter (Lead PI) at Adventium Labs Department of Homeland Security. Project total: $2,200,000, K-State’s portion: $450,000. Duration: February 2016 - January 2019.

Modeling Security/Safety Interactions in Buildings for Compositional Security/Safety Control

PI Masaaki Mizuno, and co-PIs John Hatcliff, Mitch Neilsen, Simon Ou (USF), and Raj Rajagopalan (Honeywell)). Department of Homeland Security. Project total: $914,353, (K-State portion: $264,015) Duration: October 2015 - September 2018.

Methodologies and Tools for Securing Medical Device Systems in Integrated Clinical Environments (ICE)

John Hatcliff (K-State PI), and Robby, Eugene Vasserman; and Rand Whillock (Lead PI) and Todd Carpenter at Adventium Labs.

United States Army Medical Research Acquisition Activity (USAMRAA) Defense Health Program (DHP) – Small Business Innovation Research (SBIR) DHP15-004, Phase II. Project total: $999,974.04; K-State’s portion: $339,187. Duration: September 2016 - September 2018.

FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms

John Hatcliff (PI), and Robby, Venkatesh-Prasad Ranganath (co-PIs)

National Science Foundation (NSF) CNS-1565544. Project total: $160,000. Duration: August 2016 - July 2018.

FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms

John Hatcliff (PI), and Robby, Venkatesh-Prasad Ranganath (co-PIs)

National Science Foundation (NSF) CNS-1446544. Project total: $80,000. Duration: March 2015 - February 2016.

CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms

John Hatcliff (PI), with Robby Steve Warren, Eugene Vasserman, and Patrice Chalin; and Insup Lee and Oleg Sokolsky at University of Pennsylvania

National Science Foundation (NSF) OCI-1239543. Project total: $1,000,000, K-State’s portion: $880,000. Duration: October 2012 - September 2015.

Development of a Prototype Healthcare Intranet for Improved Health Outcomes

John Hatcliff (K-State PI), with Robby, Daniel Andresen, Eugene Vasserman, Steve Warren

Massachusetts General Hospital – a sub-contract of National Institutes of Health (NIH)/National Institute of Biomedical Imaging and Bioengineering (NIBIB) Quantum grant. Project total: 9.8 million, K-State’s portion: $475,000. Duration: September 2010 - August 2015.

Evidence-based Trust in Large-scale MLS Systems

John Hatcliff (Lead PI), with Robby Torben Amtoft, and Xinming Ou (K-State co-PIs); and Andrew Appel co-PI at Princeton University

Air Force Office of Scientific Research (AFOSR) grant no. FA9550-09-0138. Project total: $3,000,000, K-State’s portion: $2,012,500. Duration: March 2009 - November 2014.

Enhancing the Cybersecurity and Information Assurance Research and Education Infrastructure of Kansas State University

Xinming Ou (PI), with Robby, Scott DeLoach, and John Hatcliff (co-PIs)

Air Force Office of Scientific Research (AFOSR) Defense University Research Instrumentation Program (DURIP). Project total: $605,650. Year: 2013.

FDA SIR: Tools, Processes, and Artifacts for Certifiable Clinical Applications in Interoperable Medical Device Frameworks

Patrice Chalin (PI), with John Hatcliff, Robby (co-PIs)

National Science Foundation (NSF) CNS-1238431. Project total: $80,000. Duration: October 2012 - September 2013

CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination

John Hatcliff (Lead PI), with Daniel Andresen, Robby, and Steve Warren (K-State co-PIs); and Insup Lee and Oleg Sokolsky at University of Pennsylvania

National Science Foundation (NSF) CNS-0932289. Project total: $1,500,000, K-State’s portion: $840,000. Duration: September 2009 - August 2013.

An Integrated Development and Certification Environment for a Medical Device Coordination Framework

John Hatcliff (PI), with Robby, Gurdip Singh, Virgil Wallentine, and Steve Warren

National Science Foundation (NSF) CNS-1065887. Project total: $80,000. Duration: January 2010 - December 2012.

A Domain Specific Language for Defining High-Assurance Secure-Network Guards

John Hatcliff (PI), with Robby, Torben Amtoft, and Xinming Ou

Rockwell Collins Advanced Technology Center (ATC). Project total: $170,000. Duration: September 2008 - August 2010.

Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices

John Hatcliff (PI), with Robby, Daniel Andresen, and Steve Warren

National Science Foundation (NSF) Computer Systems Research (CSR) CNS-0734204. Project total: $55,000. Duration: September 2007 - August 2009.