23 citations · 38 across the 7 of their papers we have counts for
10 papers
AdaChain: A Learned Adaptive Blockchain
Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri +2
This paper presents AdaChain, a learning-based blockchain framework that adaptively chooses the best permissioned blockchain architecture in order to optimize effective throughput…
Declarative Smart Contracts
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri +2
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contra…
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal +3
Byzantine Fault-Tolerant (BFT) protocols have recently been extensively used by decentralized data management systems with non-trustworthy infrastructures, e.g., permissioned block…
Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees
Mohammad Javad Amiri, Boon Thau Loo, Divyakant Agrawal +1
Today's large-scale data management systems need to address distributed applications' confidentiality and scalability requirements among a set of collaborative enterprises. This pa…
Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain
Mohammad Javad Amiri, Ziliang Lai, Liana Patel +3
We present Saguaro, a permissioned blockchain system designed specifically for edge computing networks. Saguaro leverages the hierarchical structure of edge computing networks to r…
SharPer: Sharding Permissioned Blockchains Over Network Clusters
Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi
Scalability is one of the main roadblocks to business adoption of blockchain systems. Despite recent intensive research on using sharding techniques to enhance the scalability of b…
SeeMoRe: A Fault-Tolerant Protocol for Hybrid Cloud Environments
Mohammad Javad Amiri, Sujaya Maiyya, Divyakant Agrawal +1
Large scale data management systems utilize State Machine Replication to provide fault tolerance and to enhance performance. Fault-tolerant protocols are extensively used in the di…
Towards Global Asset Management in Blockchain Systems
Victor Zakhary, Mohammad Javad Amiri, Sujaya Maiyya +2
Permissionless blockchains (e.g., Bitcoin, Ethereum, etc) have shown a wide success in implementing global scale peer-to-peer cryptocurrency systems. In such blockchains, new curre…
ParBlockchain: Leveraging Transaction Parallelism in Permissioned Blockchain Systems
Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi
Many existing blockchains do not adequately address all the characteristics of distributed system applications and suffer from serious architectural limitations resulting in perfor…
Validation of Collaborative Business Processes using Goals Model
Amir Ebrahimifard, Mostafa Khoramabadi Arani, Mohammad Javad Amiri +1
Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes. In this paper collaborative processes are mo…