Folgen
Adam Petz
Adam Petz
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei ku.edu
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6