Wang Kailong - Google Scholar

Get my own profile

Cited by

	All	Since 2017
Citations	49	47
h-index	4	4
i10-index	1	1

0

10

5

201520162017201820192020202120221 1 6 9 7 10 10 5

Public access

1 article

1 article

available

not available

Based on funding mandates

Co-authors

Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Guangdong BaiSenior Lecturer of the University of QueenslandVerified email at uq.edu.au
Ye QuanqiNational University of SingaporeVerified email at u.nus.edu
Zhenkai LiangSchool of Computing, National University of SingaporeVerified email at comp.nus.edu.sg
Naipeng DongThe University of QueenslandVerified email at uq.edu.au

Wang Kailong

Wang Kailong

National University of Singapore

Verified email at nus.edu.sg

Network security Formal methods on security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal analysis of a single sign-on protocol implementation for android Q Ye, G Bai, K Wang, JS Dong 2015 20th International Conference on Engineering of Complex Computer …, 2015	27	2015
It’s not just the site, it’s the contents: intra-domain fingerprinting social media websites through CDN bursts K Wang, J Zhang, G Bai, R Ko, JS Dong Proceedings of the Web Conference 2021, 2142-2153, 2021	7	2021
A framework for formal analysis of privacy on SSO protocols K Wang, G Bai, N Dong, JS Dong International Conference on Security and Privacy in Communication Systems …, 2017	6	2017
Homescan: scrutinizing implementations of smart home integrations KT Mahadewa, K Wang, G Bai, L Shi, JS Dong, Z Liang 2018 23rd International Conference on Engineering of Complex Computer …, 2018	5	2018
Scrutinizing implementations of smart home integrations K Mahadewa, K Wang, G Bai, L Shi, Y Liu, JS Dong, Z Liang IEEE Transactions on Software Engineering, 2019	3	2019
Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols K Wang International Conference on Formal Engineering Methods, 441-445, 2018	1	2018

The system can't perform the operation now. Try again later.

Articles 1–6