Dinesha Ranathunga received his Ph.D. for his thesis titled "auto-configuration
of critical network infrastructure" from the University of Adelaide.
His current research focuses on developing formal models of network policies.
Ranathunga, D., Roughan M., Nguyen H., Kernick P., & Falkner N.
(2016). Case studies of SCADA firewall configurations and the implications for best practices. IEEE Transactions on Network and Service Management. 13(4), 871-884. doi: 10.1109/TNSM.2016.2597245