System-Level Design Group

KU Information and Telecommunication Technology Center

Big Chip


Active Projects

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: National Security Agency Science of Security Initiative


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: Subcontract to Rockwell Collins under DARPA CASE

Honeywell Additive Manufacturing Trest

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

Sponsors: Honeywell FM&T

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: Honeywell FM&T


ArmoredSoftware - The objective of ArmoredSoftware is development of trustworthy cloud applications that peform appraisal, attestation and measurement.

Sponsors: DoD


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

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


HaskHOL - The objective of the HaskHOL project is developing a HOL-style theorem prover that can be used to verify Haskell programs in Haskell.

Sponsors: DoD SMART Fellowship

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)

Virtual Vector Laboratory

Virtual Vector Laboratory - The objective of the Virtual Vector Laboratory is to develop techniques for autmoatically 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

Inactive Projects