Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control

Yuri Gil Dantas, Vivek Nigam, and Carolyn Talcott. A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. In IEEE Vehicular Networking Conference (VNC), 2020.

Download

[PDF] 

Abstract

(unavailable)

@inproceedings{dantas20vnc,
  author    = {Yuri Gil Dantas and 
               Vivek Nigam and 
               Carolyn Talcott},
  title     = {A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control},
  booktitle = {IEEE Vehicular Networking Conference (VNC)},
  year      = {2020},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/vnc20.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57