@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@InProceedings{nigam16esorics,
author = "Vivek Nigam and Carolyn Talcott and Abra{\~a}o Aires Urquiza",
title = "Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders",
booktitle = "European Symposium on Research in Computer Security ({ESORICS})",
year = "2016",
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/paper-esorics-final.pdf"
}