Skip to content

A Simple Method for Extracting Models From Protocol Code

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\%)}
}