USENIX Conference Policies
Security Benchmarking using Partial Verification
BibTeX
@inproceedings {268135,
author = {Thomas E. Hart and Marsha Chechik and David Lie},
title = {Security Benchmarking using Partial Verification},
booktitle = {3rd USENIX Workshop on Hot Topics in Security (HotSec 08)},
year = {2008},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/hotsec-08/security-benchmarking-using-partial-verification},
publisher = {USENIX Association},
month = jul
}
author = {Thomas E. Hart and Marsha Chechik and David Lie},
title = {Security Benchmarking using Partial Verification},
booktitle = {3rd USENIX Workshop on Hot Topics in Security (HotSec 08)},
year = {2008},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/hotsec-08/security-benchmarking-using-partial-verification},
publisher = {USENIX Association},
month = jul
}