Petz, A., G. Jurgensen, and P. Alexander, “Design and Formal Verification of a Copland-based Attestation Protocol”, ACM-IEEE International Conference on Formal Methods and Models for …

• Petz, A., G. Jurgensen, and P. Alexander, “Design and Formal Verification of a Copland-based Attestation Protocol”, ACM-IEEE International Conference on Formal Methods and Models for …

Adam Petz. Home Projects Software Publications CV Blog Personal. Trust is an essential component of computer security. If misplaced or misunderstood, it can open a system up to …

Feb 24, 2021 · “Design and Formal Verification of a Copland-based Attestation Protocol” by Adam Petz, Grant Jurgensen, and Perry Alexander has been accepted for publication at the …

Adam Petz, Perry Alexander Information and Telecommunication Technology Center The University of Kansas Lawrence, KS {ampetz,palexand}@ku.edu ABSTRACT Copland is a …

Adam Petz. Home Projects Software Publications CV Blog Personal Software Copland AVM. Copland AVM - The Copland Attestation Virtual Machine (AVM) repository includes an …

Adam Petz(B) and Perry Alexander Information and Telecommunication Technology Center, The University of Kansas, Lawrence, KS 66045, USA {ampetz,palexand}@ku.edu Abstract. …

Adam Petz. Home Projects Software Publications CV Blog Personal Active Projects StairCASE. StairCASE - The objective of the DARPA StairCASE effort is to develop semantics and tools …

Adam Petz Submitted to the graduate degree program in Electrical Engineering and Computer Science and the Graduate Faculty of the University of Kansas School of Engineering in partial …

Aug 30, 2021 · “Design and Formal Verification of a Copland-based Attestation Protocol” by Adam Petz, Grant Jurgensen, and Perry Alexander has been accepted for publication at the …