Skip to content

Security Benchmarking Using Partial Verification

by Thomas E. Hart, Marsha Chechik and David Lie
Reference:
Thomas E. Hart, Marsha Chechik and David Lie, “Security Benchmarking Using Partial Verification”, In Proceedings of the 3rd USENIX Workshop on Hot Topics in Security (HOTSEC), 2008.
Bibtex Entry:
@inproceedings{hart:hotsec2008,
    author = "Hart, Thomas E. and Chechik, Marsha and Lie, David",
    title = "Security Benchmarking Using Partial Verification",
    booktitle = "Proceedings of the 3rd {USENIX} Workshop on Hot Topics in Security ({HOTSEC})",
    month = "July",
    year = "2008",
    url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/hart_hotsec08.pdf",
    note = "(Acceptance: 12/32, 32\%; 2 citations)",
    citations = "2",
    gsid = "13089902456809291028"
}