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:
- 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]