Jinan Jiang -

Registered user since Sat 22 Mar 2025

Name:Jinan Jiang

Affiliation:The Hong Kong Polytechnic University

Contributions

2026

APSEC

Committee Member in Program Committee within the Software Engineering in Practices (SEIP)-track

ASE

Author of Zero-Knowledge VMs: Security and Usability in Practice within the Research Papers-track

SPLASH

Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

EASE

Committee Member in Doctoral Consortium within the Doctoral Symposium-track

2025

ASE

Author of ScaleCirc: Scaling the Analysis over Circom Circuits within the Research Papers-track

ICSE

Author of ConsCS: Effective and Efficient Verification of Circom Circuits within the Research Track-track