Skip to content

Trusted Computing, Trusted Third Parties, and Verified Communications.

Martn Abadi

Year2004
ProceedingsSEC

Browse the full SEC paper archive.