Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders

Vivek Nigam, Carolyn Talcott, and Abra ao Aires Urquiza. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. In European Symposium on Research in Computer Security (ESORICS), 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26