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
Security Analysis of IoT Smart Home Systems:
- 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]
- 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]
- 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