1 citations · 1 across the 2 of their papers we have counts for
3 papers
Read-Uncommitted Transactions for Smart Contract Performance
Victor Cook, Zachary Painter, Christina Peterson +1
Smart contract transactions demonstrate issues of performance and correctness that application programmers must work around. Although the blockchain consensus mechanism approaches…
Quantifiability: Concurrent Correctness from First Principles
Victor Cook, Christina Peterson, Zachary Painter +1
Architectural imperatives due to the slowing of Moore's Law, the broad acceptance of relaxed semantics and the O(n!) worst case verification complexity of generating sequential his…
Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network
Muhammad Saad, Victor Cook, Lan Nguyen +2
In this paper, we explore the partitioning attacks on the Bitcoin network, which is shown to exhibit spatial bias, and temporal and logical diversity. Through data-driven study we…