Hi, I’am a security researcher at National University of Singapore. My research interests are:
- Security Analysis of Smart Home Systems.
- Formal Verification of Application-Layer Protocols.
Find me on:
ResearchGate: https://www.researchgate.net/profile/Kulani_Mahadewa
Publications:
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 [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[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
