Adam Petz

Recent Posts
Pages
Index
Blog

Blog Categories
Announcements
Coq
Music

Dissertation Proposal Defense

Passed the oral defense component of my dissertation proposal entitled: “An Infrastructure for Faithful Execution of Remote Attestation Protocols”. Now on to more publications and defending the dissertation!