System-Level Design Group

KU Information and Telecommunication Technology Center

Petz Defense

Congratulations to Adam Petz for successfully defendeding his MS thesis, A Semantics for Attestation Protocols using Session Types in Coq. Now on to the PhD!