Linear Temporal Logics | SaNs Portfolio

Sheema Madhusudhanan and Sanoop Mallissery, "Provable Security Analysis of Complex or Smart Computer Systems in the Smart Grid," in *Proceedings of the 2017 IEEE International Conference on Smart Grid and Smart Cities (ICSGSC)*, Singapore, 2017, pp. 210-214, doi: 10.1109/ICSGSC.2017.8038578.

BibTeX

@inproceedings{8038578,
  author = {Madhusudhanan, Sheema and Mallissery, Sanoop},
  title = {Provable Security Analysis of Complex or Smart Computer Systems 
  in the Smart Grid},
  year = {2017},
  isbn = {},
  publisher = {IEEE},
  address = {Singapore},
  url = {https://doi.org/10.1109/ICSGSC.2017.8038578},
  doi = {10.1109/ICSGSC.2017.8038578},
  booktitle = {Proceedings of the 2017 IEEE International Conference on Smart 
  Grid and Smart Cities (ICSGSC)},
  pages = {210-214},
  numpages = {5},
  location = {Singapore},
}