A Simple Method for Extracting Models From Protocol Code
0 Comments
by David Lie, Andy Chou, Dawson Engler and David L. Dill
Reference:
David Lie, Andy Chou, Dawson Engler and David L. Dill, “A Simple Method for Extracting Models From Protocol Code”, In Proceedings of the 28th International Symposium on Computer Architecture (ISCA), pp. 192–203, 2001.
Bibtex Entry:
@string{isca01="Proceedings of the 28th International Symposium on Computer Architecture (ISCA)"}
@inproceedings{lie:isca2001,
author = {David Lie and Andy Chou and Dawson Engler and David L. Dill},
title = {A Simple Method for Extracting Models From Protocol Code},
booktitle = ISCA01,
pages = {192--203},
month = jul,
year = 2001,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/lie-isca2001.pdf},
note = {(Acceptance: 24/163, 15\%)}
}