Следене
Adam Petz
Adam Petz
Няма данни за членство
Потвърден имейл адрес: ku.edu
Заглавие
Позовавания
Позовавания
Година
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–6