Skip to content
David Lie

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:
@inproceedings{lie:isca2001,
    author = "Lie, David and Chou, Andy and Engler, Dawson and Dill, David L.",
    title = "A Simple Method for Extracting Models From Protocol Code",
    booktitle = "Proceedings of the 28th International Symposium on Computer Architecture ({ISCA})",
    pages = "192--203",
    month = "July",
    year = "2001",
    url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/lie-isca2001.pdf",
    note = "(Acceptance: 24/163, 15\%; \textbf{61 citations})",
    citations = "61",
    gsid = "9658986407536027768"
}