Formally Verified Encryption of High-Level Datatypes: An Application of Polytypism
Presented as part of the
2004 HCSS conference
.
License:
Creative Commons 2.5
Konrad Slind
Joe Hurd
Other available formats:
Formally Verified Encryption of High-Level Datatypes: An Application of Polytypism
Switch to normal viewer
Switch to experimental viewer
