Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks

Marc\'ilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, and Vivek Nigam. On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. Unpublished Draft.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@Unpublished{lemos.unp,
 author = {Marc\'ilio O. O. Lemos and Yuri Gil Dantas and Iguatemi E. Fonseca and Vivek Nigam},
  title     = {{On the Accuracy of Formal Verification of Selective Defenses for {TDoS} Attacks}},
   year =         "Draft",
 bib2html_pubtype = {Submitted},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/jlamp.pdf"
}

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