Poster: A Privacy-Preserving Smart Contract Vulnerability Detection Framework for Permissioned Blockchain. - Wensheng Tian; Lei Zhang 238; Shuangxi Chen; Hu Wang; Xiao Luo (CCS, 2023)