Skip to content

Verifying a Hardware Security Architecture.

Joshua D. Guttman, H.-P. Ko

VenueA*SP
Year1990
ProceedingsS&P

Browse the full SP paper archive.