9 citations · 20 across the 16 of their papers we have counts for
16 papers
Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection
Peng Qian, Jianting He, Lingling Lu +5
Recent years have witnessed explosive growth in blockchain smart contract applications. As smart contracts become increasingly popular and carry trillion dollars worth of digital a…
Diffusive Limit of the Boltzmann Equation in Bounded Domains
Zhimeng Ouyang, Lei Wu
The rigorous justification of the hydrodynamic limits of kinetic equations in bounded domains has been actively investigated in recent years. In spite of the progress for the diffu…
A Novel Efficient Signcryption Scheme for Resource-Constrained Smart Terminals in Cyber-Physical Power Systems
Xue Li, Cheng Jiang, Dajun Du +3
Most of the existing signcryption schemes generate pseudonym by key generation center (KGC) and usually choose bilinear pairing to construct authentication schemes. The drawback is…
Operation-level Concurrent Transaction Execution for Blockchains
Haoran Lin, Yajin Zhou, Lei Wu
Despite the success in various scenarios, blockchain systems, especially EVM-compatible ones that serially execute transactions, still face the significant challenge of limited thr…
Boosting the convergence of low-variance DSMC by GSIS
Liyan Luo, Qi Li, Lei Wu
The low-variance direct simulation Monte Carlo (LVDSMC) is a powerful method to simulate low-speed rarefied gas flows. However, in the near-continuum flow regime, due to limitation…
Linear optimization on varieties and Chern-Mather classes
Laurentiu G. Maxim, Jose Israel Rodriguez, Botong Wang +1
The linear optimization degree gives an algebraic measure of complexity of optimizing a linear objective function over an algebraic model. Geometrically, it can be interpreted as t…