Victor Cook
Victor Cook
Verified email at knights.ucf.edu
Title
Cited by
Cited by
Year
Partitioning attacks on bitcoin: Colliding space, time, and logic
M Saad, V Cook, L Nguyen, MT Thai, A Mohaisen
2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019
182019
A Field and Modeling Study of Fine Sediment Transport in Shallow Waters
PFW Y. P. Sheng, V. Cook, S. Peene, D. Eliason, S. Scofield, K-M Ahn
Estuarine and Coastal Modeling, 113–122, 1989
161989
Read-uncommitted transactions for smart contract performance
V Cook, Z Painter, C Peterson, D Dechev
2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019
102019
Quantifiability: Concurrent correctness from first principles
V Cook, C Peterson, Z Painter, D Dechev
arXiv preprint arXiv:1905.06421, 2019
42019
Concurrent Correctness in Vector Space
C Peterson, V Cook, D Dechev
International Conference on Verification, Model Checking, and Abstract …, 2021
22021
Vertical mixing and resuspension of fine sediments in Lake Okeechobee
V Cook
University of Florida, 1989
21989
Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures
C Peterson, V Cook, D Dechev
2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation …, 2019
12019
Quantifiability: Correctness of Concurrent Programs in Vector Space
V Cook, C Peterson, Z Painter, D Dechev
2021 29th Euromicro International Conference on Parallel, Distributed and …, 2021
2021
Entropy Measurement of Concurrent Disorder
V Cook, C Peterson, Z Painter, D Dechev
International Conference on Quantitative Evaluation of Systems, 239-257, 2020
2020
Parallel Hash-Mark-Set on the Ethereum Blockchain
Z Painter, PK Gayam, V Cook, D Dechev
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-5, 2020
2020
Poster: Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network
M Saad, V Cook, L Nguyen, MT Thai, A Mohaisen
The system can't perform the operation now. Try again later.
Articles 1–11