Adam Petz

According to our database, Adam Petz authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Formally verified bundling and appraisal of evidence for layered attestations.

Adam Petz, Perry Alexander

Innov. Syst. Softw. Eng., December, 2023

2022

Formally Verified Bundling and Appraisal of Evidence for Layered Attestations.

Adam Petz

PhD thesis, 2022

2021

An Infrastructure for Faithful Execution of Remote Attestation Protocols.

Adam Petz, Perry Alexander

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Design and formal verification of a copland-based attestation protocol.

Adam Petz, Grant Jurgensen, Perry Alexander

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020

An infrastructure for faithful execution of remote attestation protocols.

Adam Petz

Proceedings of the 7th Annual Symposium on Hot Topics in the Science of Security, 2020

2019

Orchestrating Layered Attestations.

John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

A copland attestation manager.

Adam Petz, Perry Alexander

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019