Biblio

Export 1 results:
Filters: Author is Thomas E. Hart  [Clear All Filters]
2008
Hart TE, Chechik M, Lie D.  2008.  Security Benchmarking using Partial Verification. 3rd USENIX Workshop on Hot Topics in Security (HotSec 08).