Dr. Perry Alexander

The University of Kansas

Perry Alexander

Home
Publications
Teaching
Research
Awards
Personal
Blog

Active Projects

Honeywell Additive Manufacturing Trust


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

Sponsors: Kansas City National Security Campus

University Blockchain Research Initiative (UBRI)


University Blockchain Research Initiative (UBRI) - KU ITTC 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

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

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

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

Information for Students