BibTeX records: Muhammad Salman Malik

• > Home > Persons > Muhammad Salman Malik

@phdthesis{DBLP:phd/us/Malik13,
  author       = {Muhammad Salman Malik},
  title        = {Security analysis of inter control center communication protocol using
                  model checking},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2013},
  url          = {https://hdl.handle.net/2142/44193},
  timestamp    = {Fri, 13 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Malik13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/MalikMHBC13,
  author       = {Muhammad Salman Malik and
                  Mirko Montanari and
                  Jun Ho Huh and
                  Rakesh B. Bobba and
                  Roy H. Campbell},
  title        = {Towards {SDN} enabled network control delegation in clouds},
  booktitle    = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSN.2013.6575320},
  doi          = {10.1109/DSN.2013.6575320},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/MalikMHBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smartgridcomm/MalikBBCS13,
  author       = {Muhammad Salman Malik and
                  Robin Berthier and
                  Rakesh B. Bobba and
                  Roy H. Campbell and
                  William H. Sanders},
  title        = {Formal design of communication checkers for {ICCP} using {UPPAAL}},
  booktitle    = {{IEEE} Fourth International Conference on Smart Grid Communications,
                  SmartGridComm 2013, Vancouver, BC, Canada, October 21-24, 2013},
  pages        = {486--491},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SmartGridComm.2013.6688005},
  doi          = {10.1109/SMARTGRIDCOMM.2013.6688005},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartgridcomm/MalikBBCS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}