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) - 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
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.
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
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 - 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
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)