Provable Security Analysis of Complex or Smart Computer Systems in the Smart Grid

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},
}
Sanoop Mallissery, Ph.D.
Sanoop Mallissery, Ph.D.

Lecturer

School of Information Technology

My research interests include advancing dependable systems security, privacy preservation, and cybersecurity in Operational Technology (OT) and Industrial Control Systems (ICS).