Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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 Workshop on Foundations of Computer Security, 2018.

Download

[PDF] 

Abstract

(unavailable)

@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 = "Workshop on Foundations of Computer Security",
  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 Fri Oct 26, 2018 12:09:24