Specifying and Verifying Hardware for Tamper-Resistant Software
0 Comments
by David Lie, John Mitchell, Chandramohan A. Thekkath and Mark A. Horowitz
Reference:
David Lie, John Mitchell, Chandramohan A. Thekkath and Mark A. Horowitz, “Specifying and Verifying Hardware for Tamper-Resistant Software”, In Proceedings of the 24th IEEE Symposium on Security and Privacy, 2003.
Bibtex Entry:
@string{oakland03="Proceedings of the 24th IEEE Symposium on Security and Privacy"}
@inproceedings{lie:oakland2003,
author = {David Lie and John Mitchell and Chandramohan A. Thekkath and Mark A. Horowitz},
title = {Specifying and Verifying Hardware for Tamper-Resistant Software},
booktitle = OAKLAND03,
month = may,
year = 2003,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/lie-oakland2003.pdf},
note = {(Acceptance: 19/131, 19\%)}
}