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 |