Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi. Can You Fool Me? Towards Automatically Checking Protocol Gullibility. In Carey L. Williamson, David Andersen, Steve D. Gribble, editors, 7th ACM Workshop on Hot Topics in Networks - HotNets-VII, Calgary, Alberta, Canada, October 6-7, 2008. pages 31-36, ACM SIGCOMM, 2008. [doi]
@inproceedings{StanojevicMMM08,
title = {Can You Fool Me? Towards Automatically Checking Protocol Gullibility},
author = {Milan Stanojevic and Ratul Mahajan and Todd D. Millstein and Madanlal Musuvathi},
year = {2008},
url = {http://conferences.sigcomm.org/hotnets/2008/papers/6.pdf},
researchr = {https://researchr.org/publication/StanojevicMMM08},
cites = {0},
citedby = {0},
pages = {31-36},
booktitle = {7th ACM Workshop on Hot Topics in Networks - HotNets-VII, Calgary, Alberta, Canada, October 6-7, 2008},
editor = {Carey L. Williamson and David Andersen and Steve D. Gribble},
publisher = {ACM SIGCOMM},
}