Sign in
Shang Gao
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 8
Top Topics
Data Exchange
Formal Proofs
Schema Mappings
Theorem Proving
Top Venues
IACR Cryptol. ePrint Arch.
IEEE Trans. Netw. Serv. Manag.
CoRR
ICDCS
</>
Publications
</>
Tianyu Zheng
,
Shang Gao
,
Yubo Song
,
Bin Xiao
Leaking Arbitrarily Many Secrets: Any-out-of-Many Proofs and Applications to RingCT Protocols.
SP
(2023)
Tianyu Zheng
,
Shang Gao
,
Yu Guo
,
Bin Xiao
KiloNova: Non-Uniform PCD with Zero-Knowledge Property from Generic Folding Schemes.
IACR Cryptol. ePrint Arch.
2023 (2023)
Xun Liu
,
Shang Gao
,
Tianyu Zheng
,
Bin Xiao
SnarkFold: Efficient SNARK Proof Aggregation from Split Incrementally Verifiable Computation.
IACR Cryptol. ePrint Arch.
2023 (2023)
Shang Gao
,
Zhe Peng
,
Feng Tan
,
Yuanqing Zheng
,
Bin Xiao
SymmeProof: Compact Zero-Knowledge Argument for Blockchain Confidential Transactions.
IEEE Trans. Dependable Secur. Comput.
20 (3) (2023)
Jiaping Yu
,
Shang Gao
,
Rui Song
,
Zhiping Cai
,
Bin Xiao
Partial Selfish Mining for More Profits.
CoRR
(2022)
Liyan Yang
,
Yubo Song
,
Shang Gao
,
Aiqun Hu
,
Bin Xiao
Griffin: Real-Time Network Intrusion Detection System via Ensemble of Autoencoder in SDN.
IEEE Trans. Netw. Serv. Manag.
19 (3) (2022)
Jingyan Yang
,
Shang Gao
,
Guyue Li
,
Rui Song
,
Bin Xiao
Reducing Gas Consumption of Tornado Cash and Other Smart Contracts in Ethereum.
TrustCom
(2022)
Rui Song
,
Shang Gao
,
Yubo Song
,
Bin Xiao
: A Traceable and Privacy-Preserving Data Exchange Scheme based on Non-Fungible Token and Zero-Knowledge.
ICDCS
(2022)