Towards SDN enabled network control delegation in clouds. - Muhammad Salman Malik; Mirko Montanari; Jun Ho Huh; Rakesh B. Bobba; Roy H. Campbell (DSN, 2013)

Formal design of communication checkers for ICCP using UPPAAL. - Muhammad Salman Malik; Robin Berthier; Rakesh B. Bobba; Roy H. Campbell; William H. Sanders (SmartGridComm, 2013)

Security analysis of inter control center communication protocol using model checking - Muhammad Salman Malik (2013)