DMCA

Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors (1998)

by Sean W. Smith , Vernon Austel
Citations:21 - 4 self