Active Projects

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

INSPECTA

INSPECTA - Under the INSPECTA effort with Collins Aerospace we will be developing a lifecycle attestation capability and tools for formally synthesizing Rust specifications from Coq. Lifecycle attestation is gathering and appraising system measurements starting from early design stages and maintaining appraisal over system and requirements changes. Our Rust synthesis capability will adapt CakeML synthesis tools developed for DARPA CASE. We will define a synthesis fragment of Rust, retarget our transformation tool, and retarget our certification theorem generation tool.

Sponsors: DARPA PROVERS subcontract with Collins Aerospace

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

University Blockchain Research Initiative (UBRI)

University Blockchain Research Initiative (UBRI) - KU I2S is one of 25 University research centers to receive a gift from Ripple to explore aspects of blockchain technology. As a part of our UBRI gift we are looking at recording and distributing biodiversity data, resiliency, IoT and blockchain, trusted blockchain infrastructure, and blockchain as art.

Sponsors: Ripple UBRI

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

Programming Langauges in Haskell

Programming Langauges in Haskell - The objective of PLIH is development of an online textbook in support of teaching programming languages in Haskell. The repo is currently private and will be opened up in January 2017. If you are interesting in playing before that, drop me a line. The text will be free for anyone who wants to use it.

Sponsors: None

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

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

Scalable Trust Semantics and Infrastructure

Scalable Trust Semantics and Infrastructure - The objective of the Scalable Trust Semantics and Infrastructure project is development of a semantics for measurement along with a collection of tools that implement that semantics.

Sponsors: NSA Science of Security initiative contract

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

Toolkit for Evolving Ecosystem Envelopes (TEEE)

Toolkit for Evolving Ecosystem Envelopes (TEEE) - The objective of the KU TEEE subcontract is developing techniques for automatically synthesizing protocols for measuring system properties. Adventium Labs is the prime contractor on this effort.

Sponsors: DARPA through Adventium Labs

Virtual Vector Laboratory

Virtual Vector Laboratory - The objective of the Virtual Vector Laboratory is to develop techniques for automatically recognizing insect carriers of human diseases. This is joint work with The KU Biodiversity Institute and Spencer Museum of Art.

Sponsors: KU Research Investment Council

ACHILLES

ACHILLES - The objective of ACHILLES is defining malice in networked, embedded devices such as printers and MFDs. This is joint work with Adventium Labs.

Sponsors: DARPA through Adventium Labs

Verified TPM

Verified TPM - The objective of the Verified TPM project is to formally specify and verify critical properties of the TPM 1.2.

Sponsors: Battelle, DoD

Static Analysis of Niche Species Models

Static Analysis of Niche Species Models - The objective of the Niche Modeling static analysis project is to use model checking techniques to statically analyze species distribution models.

Sponsors: KU Initiative for Maximizing Student Diversity (IMSD)

VOLTA

VOLTA - The objective of the VOLTA effort is to learn timed automata from a given system and discover vulnerabilities by examining that automata. Our role in VOLTA is discovering protocols and alphabets for a learner to exercise in learning and the automata.

Sponsors: AFRL, Adventium Labs industry prime

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