Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols.

Musab A. Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. . In FCS, 2018.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{kanovich18fcs,
  author = "Musab A. Alturki and Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott",
  title = "Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. ",
  booktitle = "FCS",
  year = "2018",
    bib2html_pubtype = {Unrefereed Collection},
    bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/fcs2018.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Tue Jul 31, 2018 07:56:52