Adam Petz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Verified Configuration and Deployment of Layered Attestation Managers. | Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander |
| 2024 | VECoS | Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase. | Amer Tahat, David S. Hardin, Adam Petz, Perry Alexander |
| 2021 | MEMOCODE | Design and formal verification of a copland-based attestation protocol. | Adam Petz, Grant Jurgensen, Perry Alexander |