Victor Cook

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 14

Top Topics

Concurrent Programs

Transactional Data

Top Venues

Publications

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105 (5) (2023)
Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, David Mohaisen
Exploring Partitioning Attacks on the Bitcoin Network. IEEE/ACM Trans. Netw. 30 (1) (2022)
Christina L. Peterson, Victor Cook, Damian Dechev
Concurrent Correctness in Vector Space. VMCAI (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Design and Implementation of Highly Scalable Quantifiable Data Structures. PaCT (2021)
Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev
Descriptor based consensus for blockchain transactions. DEBS (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Correctness of Concurrent Programs in Vector Space. PDP (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Entropy Measurement of Concurrent Disorder. QEST (2020)
Zachary Painter, Pradeep Kumar Gayam, Victor Cook, Damian Dechev
Parallel Hash-Mark-Set on the Ethereum Blockchain. IEEE ICBC (2020)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Concurrent Correctness from First Principles. CoRR (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. CoRR (2019)
Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, Aziz Mohaisen
Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network. CoRR (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. ICDCS (2019)
Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, Aziz Mohaisen
Partitioning Attacks on Bitcoin: Colliding Space, Time, and Logic. ICDCS (2019)
Christina L. Peterson, Victor Cook, Damian Dechev
Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. MASCOTS (2019)