Follow
Adam Petz
Adam Petz
Unknown affiliation
Verified email at ku.edu
Title
Cited by
Cited by
Year
Orchestrating Layered Attestations
JD Ramsdell, PD Rowe, P Alexander, SC Helble, P Loscocco, ...
International Conference on Principles of Security and Trust, 197-221, 2019
162019
A copland attestation manager
A Petz, P Alexander
Proceedings of the 6th Annual Symposium on Hot Topics in the Science of …, 2019
132019
An infrastructure for faithful execution of remote attestation protocols
A Petz, P Alexander
NASA Formal Methods Symposium, 268-286, 2021
112021
Design and formal verification of a copland-based attestation protocol
A Petz, G Jurgensen, P Alexander
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods …, 2021
92021
Orchestrating Layered Attestations
P Loscocco, JA Pendergrass, A Petz
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
2019
A Semantics for Attestation Protocols using Session Types in Coq
AM Petz
University of Kansas, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–6