Victor Cook

According to our database, Victor Cook authored at least 13 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Quantifiability: a concurrent correctness condition modeled in vector space.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Computing, May, 2023

2022

Exploring Partitioning Attacks on the Bitcoin Network.

Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, David Mohaisen

IEEE/ACM Trans. Netw., 2022

2021

Concurrent Correctness in Vector Space.

Christina L. Peterson, Victor Cook, Damian Dechev

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Quantifiability: Correctness of Concurrent Programs in Vector Space.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the 29th Euromicro International Conference on Parallel, 2021

Design and Implementation of Highly Scalable Quantifiable Data Structures.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the Parallel Computing Technologies, 2021

Descriptor based consensus for blockchain transactions.

Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev

Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

2020

Entropy Measurement of Concurrent Disorder.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Parallel Hash-Mark-Set on the Ethereum Blockchain.

Zachary Painter, Pradeep Kumar Gayam, Victor Cook, Damian Dechev

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

Quantifiability: Concurrent Correctness from First Principles.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

CoRR, 2019

Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network.

Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, Aziz Mohaisen

CoRR, 2019

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures.

Christina L. Peterson, Victor Cook, Damian Dechev

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Partitioning Attacks on Bitcoin: Colliding Space, Time, and Logic.

Muhammad Saad, Victor Cook, Lan N. Nguyen, My T. Thai, Aziz Mohaisen

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Read-Uncommitted Transactions for Smart Contract Performance.

Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019