System-Level Design Group

KU Information and Telecommunication Technology Center

Big Chip

Home
Publications
People
Projects
Administration

Active Projects

ArmoredSoftware


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

Sponsors: DoD

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

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


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