1 code implementation • 9 Apr 2020 • Quan Nguyen, Andre Cronje, Michael Kong
Reasoning about the validity of the object states is challenging in concurrent smart contracts.
Distributed, Parallel, and Cluster Computing Programming Languages
no code implementations • 12 Nov 2019 • Quan Nguyen, Andre Cronje, Michael Kong
The problem of peer selection, which randomly selects a peer from a set, is commonplace in Proof-of-Stake (PoS) protocols.
Distributed, Parallel, and Cluster Computing Data Structures and Algorithms
no code implementations • 29 Aug 2019 • Quan Nguyen, Andre Cronje, Michael Kong, Alex Kampa, George Samman
Unlike StakeDag's DAG, x-DAG ensures that each new block has to have parent blocks from both Users and Validators to achieve more safety and liveness.
Cryptography and Security Distributed, Parallel, and Cluster Computing
no code implementations • 5 Jul 2019 • Quan Nguyen, Andre Cronje, Michael Kong, Alex Kampa, George Samman
We address a general model of trustless system in which participants are distinguished by their stake or trust: users and validators.
Distributed, Parallel, and Cluster Computing Cryptography and Security
2 code implementations • 11 Sep 2018 • Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, Bernhard Scholz
In this paper, we present Vandal: a security analysis framework for Ethereum smart contracts.
Programming Languages