Följ
Adam Petz
Adam Petz
Okänd anknytning
Verifierad e-postadress på ku.edu
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6