Follow
Wang Kailong
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
272015
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
72021
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
62017
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
52018
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
32019
Analyzing Security and Privacy in Design and Implementation of Web Authentication Protocols
K Wang
International Conference on Formal Engineering Methods, 441-445, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–6