Tech Star

   I’m a Ph.D. candidate with the Department of Computer Science, National University of Singapore (2016 to present).  I had my bachelor’s degree in Information Technology from the University of Moratuwa, Sri Lanka, in 2013. I worked as a Trainee Software Engineer at Sampath Bank Systems Development (in 2012) and as a Software Engineer at Aeturnum Lanka (Pvt) Ltd (from 2013 to 2015).  In addition to my interest in security research, I am also interested in Python, Java, and Android developments.

My research interests:

• Internet of Things (IoT) security
• Program analysis
• Protocol verification

Find me on ResearchGate: https://www.researchgate.net/profile/Kulani_Mahadewa

Publications:

Security Analysis of IoT Smart Home Systems:

1. Scrutinizing Implementations of Smart Home Integrations.
   Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong and Zhenkai Liang. IEEE Transactions on Software Engineering, TSE 2019 [journal paper] [demo]
2. HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong and Zhenkai Liang. 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018 [conference paper][pptx][demo]
3. Security Analysis of Smart Home Implementations. Mahadewa K. (2018) In: Sun J., Sun M. (eds) Formal Methods and Software Engineering. ICFEM 2018. Lecture Notes in Computer Science, vol 11232. Springer, Cham

Clicks:

Taken at the ICFEM Conference in November 2018, Gold Coast, Australia, with my supervisor, Professor Jin Song Dong (first from left), Professor Shaoying Liu, and Professor Naipeng Dong.

Taken at the ICFEM Conference in November 2018, Gold Coast, Australia, with a set of presenters at the conference.

Taken at the ICECCS Conference in December 2018, Melbourn, Australia, with my mentor and co-author Dr. Guangdong Bai.