Adam Petz

According to our database, Adam Petz authored at least 9 papers between 2019 and 2024.

Collaborative distances:

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

2024

Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase.

Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander

Proceedings of the Bridging the Gap Between AI and Reality, 2024

Verified Configuration and Deployment of Layered Attestation Managers.

Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

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