Active Projects

DARPA INSPECTA

DARPA INSPECTA - INSPECTA (Industrial Scale Proof Engineering for Critical Trustworthy Applications) is a critical project under the larger DARPA PROVERS (Pipelined Reasoning of Verifiers Enabling Robust Systems) effort. The objective of PROVERS is to develop formal methods tools fully integrated into pipelined software development and maintenance processes to enable higher levels of assurance that software systems are free of defects or security vulnerabilities.

Sponsors: DARPA, Collins Aerospace industry prime

NSA SoS

NSA SoS - Under the NSA Science of Security Virtual Institute we are continuing our remote attestation work looking at defining a semantics of evidence; defining a canonical classification for flexible mechanisms; and evaluating long-running, complex attestation processes on our attestation testbed.

Sponsors: National Security Agency Science of Security Virtual Institute

Honeywell Digital Protective Environment

Honeywell Digital Protective Environment - The objective of the Honeywell project is development of means for assuring trust in an digital manufacturing environment. We are using our MAESTRO tool suite to develop remote attestation arhitectures for addressing supplychain issues in digital manufacturing.

Sponsors: Kansas City National Security Campus

Inactive Projects

Lifecycle Attestation

Lifecycle Attestation - The objective of the DARPA Lifecycle Attestation program is investigating application of remote attestation techniques across the design lifecycle.

Sponsors: DARPA I2O seedling, Collins Aerospace industry prime

FAA A58

FAA A58 - FAA A58 is tasked with establishing the need for a UAS cybersecurity framework. Working with Drexel University and Oregon State University we are exploring cybersecurity issues that make UAS systems different than traditional piloted systems. We will develop a framework for cybersecurity assessment informed by those differences.

Sponsors: Federal Aviation Administration (FAA) ASSURE Program

National Security Agency Science of Security Lablet

National Security Agency Science of Security Lablet - KU ITTC is one of 6 Science of Security Lablets established by the National Security Agency. For more information, visit our lablet page on the Science of Security Virtual Organization.

Sponsors: NSA Science of Security initiative contract

Honeywell Additive Manufacturing Trust

Honeywell Additive Manufacturing Trust - The objective of the Additive Manufacturing Trust project is development of means for assuring trust in a 3D printer.

Sponsors: Kansas City National Security Campus

Honeywell Test Equipment Trust

Honeywell Test Equipment Trust - The objective of the Test Equipment Trust project is development of means for assuring trust in test equipment and protect secrets on compromised or misconfigured systems.

Sponsors: Kansas City National Security Campus

StairCASE

StairCASE - The objective of the DARPA StairCASE effort is to develop semantics and tools for integrating remote attestation with static analysis and develop formally verified and synthesized remote attestation infrastructure.

Sponsors: DARPA CASE, Collins Aerospace industry prime

ArmoredSoftware

ArmoredSoftware - The objective of ArmoredSoftware is development of trustworthy cloud applications that perform appraisal, attestation and measurement. This is joint work with Southern Cross Engineering.

Sponsors: DoD, Kansas Board of Regents

Trusted SoC Boot

Trusted SoC Boot - The objective of the KU Trusted SoC Project is developing verified techniques for performing measured boot and remote attestation on a Xilinx SoC platform.

Sponsors: Honeywell National Security Campus