Mark Huasong Meng

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 12

Top Topics

Security Concerns

Formal Verification

Top Venues

Publications

Chuan Yan, Fuman Xie, Mark Huasong Meng, Yanjun Zhang, Guangdong Bai
On the Quality of Privacy Policy Documents of Virtual Personal Assistant Applications. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
Chuan Yan, Mark Huasong Meng, Fuman Xie, Guangdong Bai
Investigating Documented Privacy Changes in Android OS. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Fuman Xie, Chuan Yan, Mark Huasong Meng, Shao-Ming Teng, Yanjun Zhang, Guangdong Bai
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App. ICSE (2024)
Yanjun Zhang, Ruoxi Sun, Liyue Shen, Guangdong Bai, Minhui Xue, Mark Huasong Meng, Xue Li, Ryan K. L. Ko, Surya Nepal
Privacy-Preserving and Fairness-Aware Federated Learning for Critical Infrastructure Protection and Resilience. WWW (2024)
Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong
PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks. CoRR (2024)
Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong
Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS (2023)
Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong
Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. NDSS (2023)
Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong
Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) (2023)
Zhongkui Ma, Xinguo Feng, Zihan Wang, Shuofeng Liu, Mengyao Ma, Hao Guan, Mark Huasong Meng
Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models. ICFEM (2023)
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong
Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning. CoRR (2022)
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR (2022)
Xinguo Feng, Yanjun Zhang, Mark Huasong Meng, Sin G. Teo
Detecting Contradictions from CoAP RFC Based on Knowledge Graph. NSS (2022)