
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},
}