Zhongkui Ma

According to our database, Zhongkui Ma authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ReLU Hull Approximation.

Zhongkui Ma, Jiaying Li, Guangdong Bai

Proc. ACM Program. Lang., January, 2024

CORELOCKER: Neuron-level Usage Control.

Zihan Wang, Zhongkui Ma, Xinguo Feng, Ruoxi Sun, Hu Wang, Minhui Xue, Guangdong Bai

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Uncovering Gradient Inversion Risks in Practical Language Model Training.

Xinguo Feng, Zhongkui Ma, Zihan Wang, Eu Joe Chegne, Mengyao Ma, Alsharif Abuadbba, Guangdong Bai

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models.

Zhongkui Ma, Xinguo Feng, Zihan Wang, Shuofeng Liu, Mengyao Ma, Hao Guan, Mark Huasong Meng

Proceedings of the Formal Methods and Software Engineering, 2023

Verifying Neural Networks by Approximating Convex Hulls.

Zhongkui Ma

Proceedings of the Formal Methods and Software Engineering, 2023

2019

The Function Representation of Artificial Neural Network.

Zhongkui Ma

CoRR, 2019