Cryptcoder: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts. - Libin Xia; Jiashuo Zhang 001; Che Wang; Zezhong Tan; Jianbo Gao; Zhi Guan; Zhong Chen 001 (SANER, 2024)