Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57