MirChecker: detecting bugs in Rust programs via static analysis Z Li, J Wang, M Sun, JCS Lui Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 9 | 2021 |
Securing the device drivers of your embedded systems: framework and prototype Z Li, J Wang, M Sun, JCS Lui Proceedings of the 14th International Conference on Availability …, 2019 | 6 | 2019 |
Topology-theoretic approach to address attribute linkage attacks in differential privacy J Wang, Z Li, JCS Lui, M Sun Computers & Security 113, 102552, 2022 | 3 | 2022 |
Zigbee’s Network Rejoin Procedure for IoT Systems: Vulnerabilities and Implications J Wang, Z Li, M Sun, JCS Lui Proceedings of the 25th International Symposium on Research in Attacks …, 2022 | 2 | 2022 |
Detecting Cross-language Memory Management Issues in Rust Z Li, J Wang, M Sun, JCS Lui Computer Security–ESORICS 2022: 27th European Symposium on Research in …, 2022 | | 2022 |