Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities
- Amritraj Singh
- Reza M. Parizi
- et al.
- 2020
- Computers and Security
Publications
Date
Featured collections
Popular topics
30 results for Qi Zhang
Sidechain technologies in blockchain networks: An examination and state-of-the-art review
- Amritraj Singh
- Kelly Click
- et al.
- 2020
- J. Network Comput. Appl.
GraphMap: scalable iterative graph processing using NoSQL
- Sayan Goswami
- Ayam Pokhrel
- et al.
- 2019
- Journal of Supercomputing
GRAHIES: Multi-scale graph representation learning with latent hierarchical structure
- Lei Yu
- Qi Zhang
- et al.
- 2019
- CogMI 2019
An efficient and transparent approach for adaptive intra-And inter-node virtual machine communication in virtualized clouds
- Yi Ren
- Renshi Liu
- et al.
- 2019
- ICPADS 2019
Demystifying Learning Rate Policies for High Accuracy Training of Deep Neural Networks
- Yanzhao Wu
- Ling Liu
- et al.
- 2019
- Big Data 2019
Initial Public Offering (IPO) on permissioned blockchain using secure multiparty computation
- Tzipora Halevi
- Fabrice Benhamouda
- et al.
- 2019
- Blockchain 2019
Memory disaggregation: Research problems and opportunities
- Ling Liu
- Wenqi Cao
- et al.
- 2019
- ICDCS 2019
BlockIPFS - Blockchain-enabled interplanetary file system for forensic and trusted data traceability
- Emmanuel Nyaletey
- Reza M. Parizi
- et al.
- 2019
- Blockchain 2019
CLEAN: Frequent pattern-based trajectory spatial-Temporal compression on road networks
- Peng Zhao
- Qinpei Zhao
- et al.
- 2019
- MDM 2019