ArmoredSoftware - The objective of ArmoredSoftware is development of trustworthy cloud applications that peform appraisal, attestation and measurement.
ACHILLES - The objective of ACHILLES is defining malice in networked, embedded devices such as printers and MFDs. This is joint work with Adventium Labs.
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 - 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 - 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