Hi, I'm Zhongkui Ma

Our paper Mitigating Gradient Inversion Risks in Language Models via Token Obfuscation is accepted by AsiaCCS'2026. Congrats, Xinguo!

I present our work Convex Hull Approximation for Activation Functions at OOPSLA'25 in Singapore (Thu 16 Oct 2025 16:00-16:15 at Orchid West of Marina Bay Sands Convention Centre).

Our paper Convex Hull Approximation for Activation Functions is accepted by OOPSLA'25 within SPLASH'25. Happy!

Our paper AI Model Modulation with Logits Redistribution is accepted by WWW'25. Congrats, Zihan!

Prof. Bai and I have a tutorial on Robustness Verification of Neural Networks using WraLU at ADC'24 (Tue 16 Dec 2024, Gold Coast, Australia). We are awarded the Distinguished Tutorial Speaker!

Our paper Uncovering Gradient Inversion Risks in Practical Language Model Training is accepted by CCS'24. Congrats, Xinguo!

I will have a presentation about ReLU Hull Approximation in the workshop *Formal Methods in Australia and New Zealand* during 29-30 May 2024 at the University of Queensland, St Lucia.

I will present our work ReLU Hull Approximation in FPBench community monthly meeting on May 2nd at 9:00-10:00 AM Pacific time.

Our paper CORELOCKER: Neuron-level Usage Control is accepted by S&P'24. Congrats, Zihan! [Live Video]

I present our work, ReLU Hull Approximation at POPL'24 in Kelvin Room of the Institution of Engineering and Technology (IET) at London, UK. [Live Video]

Our paper ReLU Hull Approximation is accepted by POPL'24.

I participate in ICFEM'23 at Brisbane, Australia. And I present our work, Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models and my doctoral symposium paper, Verifying Neural Networks by Approximating Convex Hulls.