Cheng-Hui Weng -

Registered user since Wed 28 Aug 2024

Name:Cheng-Hui Weng

Country:Japan

Affiliation:Nagoya University

Contributions

2026

WADT

Author of Algebraic Specification of Card-Based Cryptographic Protocols in Rocq within the WADT 2026-track

FM

Author of Inverting the Formalization Workflow: Prototyping an MPC Protocol in Rocq with an LLM Agent within the Workshop: AIPV-track

2024

APLAS

Author of [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack within the SRC & Posters-track