A Semantics for Attestation Protocols using Session Types in Coq
MetadataShow full item record
Items in KU ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
We want to hear from you! Please share your stories about how Open Access to this item benefits YOU.