C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Adam Petz
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 7
Top Topics
Computing Platform
Coloured Petri Nets
Formal Verification
Trust Relationships
Top Venues
HotSoS
CoRR
Innov. Syst. Softw. Eng.
MEMOCODE
</>
Publications
</>
Adam Petz
,
Perry Alexander
Formally verified bundling and appraisal of evidence for layered attestations.
Innov. Syst. Softw. Eng.
19 (4) (2023)
Adam Petz
,
Perry Alexander
An Infrastructure for Faithful Execution of Remote Attestation Protocols.
NFM
(2021)
Adam Petz
,
Grant Jurgensen
,
Perry Alexander
Design and formal verification of a copland-based attestation protocol.
MEMOCODE
(2021)
Adam Petz
An infrastructure for faithful execution of remote attestation protocols.
HotSoS
(2020)
Adam Petz
,
Perry Alexander
An Infrastructure for Faithful Execution of Remote Attestation Protocols.
CoRR
(2020)
John D. Ramsdell
,
Paul D. Rowe
,
Perry Alexander
,
Sarah Helble
,
Peter A. Loscocco
,
J. Aaron Pendergrass
,
Adam Petz
Orchestrating Layered Attestations.
POST
(2019)
Adam Petz
,
Perry Alexander
A copland attestation manager.
HotSoS
(2019)