Home#
About#
Hi there! I’m Zhongkui Ma (马中奎), currently diving deep into my PhD journey at the University of Queensland. I’m fortunate to be supervised by A/Prof. Guangdong Bai. Also, welcome to visit our lab, TrustLab.
News#
- New!!!
[Oct. 2024] We are going to have a tutorial on Robustness Verification of Neural Networks using WraLU in the Australasian Database Conference (ADC’24) on Tue 16 Dec 2024 16:30 AEST (UTC+10) in Gold Coast, Australia.
[Aug. 2024] Our paper Uncovering Gradient Inversion Risks in Practical Language Model Training is accepted by the 31th ACM Conference on Computer and Communications Security (CCS’24).
[May. 2024] I will have a presentation about ReLU Hull Approximation in the workshop Formal Methods in Australia and New Zealand during 29 May - 30 May 2024 at the University of Queensland, St Lucia. My presentation time is 15:30-16:00 on 30 May 2024.
[Apr. 2024] I will present our work ReLU Hull Approximation in FPench community monthly meeting on May 2nd at 9:00-10:00 AM Pacific time.
[Apr. 2024] Our paper CORELOCKER: Neuron-level Usage Control is accepted by the 45th IEEE Symposium on Security and Privacy (S&P’24). [Live Video]
[Jan. 2024] I present our work, ReLU Hull Approximation in POPL’24 in Kelvin Room of the Institution of Engineering and Technology (IET) at London, UK. [Live Video]
[Jan. 2024] I am serving the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’24) as a member of the Artifact Evaluation Committee!
[Nov. 2023] Our paper ReLU Hull Approximation is accepted by the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’24).
[Nov. 2023] I participate in the 24th International Conference on Formal Engineering Methods (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..