9 citations · 20 across the 16 of their papers we have counts for
12 papers · 1 filter
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…
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation
Ningyu He, Haoyu Wang, Lei Wu +3
EOSIO, as one of the most representative blockchain 3.0 platforms, involves lots of new features, e.g., delegated proof of stake consensus algorithm and updatable smart contracts,…
iLibScope: Reliable Third-Party Library Detection for iOS Mobile Apps
Jingyi Guo, Min Zheng, Yajin Zhou +4
Vetting security impacts introduced by third-party libraries in iOS apps requires a reliable library detection technique. Especially when a new vulnerability (or a privacy-invasive…