Adam Petz

Adam Petz

Home
Projects
Software
Publications
CV
Blog
Personal

Active Projects

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

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

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: Kansas City National Security Campus

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

Inactive Projects

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