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 | 67 | 2019 |
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 | 19 | 2019 |
Wang X Sheng, S Schofield, S Peene, V Cook, KM Ahn, J Capitao Y., Meijer, HJ, Yang, X., Hua, C., Ye, W., et al, 1351-1364, 2015 | 19 | 2015 |
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 | 19 | 1989 |
Concurrent correctness in vector space C Peterson, V Cook, D Dechev International Conference on Verification, Model Checking, and Abstract …, 2021 | 4 | 2021 |
Quantifiability: Concurrent correctness from first principles V Cook, C Peterson, Z Painter, D Dechev arXiv preprint arXiv:1905.06421, 2019 | 4 | 2019 |
Exploring partitioning attacks on the bitcoin network M Saad, V Cook, L Nguyen, MT Thai, D Mohaisen IEEE/ACM Transactions on Networking 30 (1), 202-214, 2021 | 3 | 2021 |
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 | 2 | 2021 |
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 | 2 | 2019 |
Vertical mixing and resuspension of fine sediments in Lake Okeechobee V Cook University of Florida, 1989 | 2 | 1989 |
Design and implementation of highly scalable quantifiable data structures V Cook, C Peterson, Z Painter, D Dechev International Conference on Parallel Computing Technologies, 371-385, 2021 | 1 | 2021 |
Descriptor based consensus for blockchain transactions Z Painter, V Cook, C Peterson, D Dechev Proceedings of the 15th ACM International Conference on Distributed and …, 2021 | 1 | 2021 |
Entropy measurement of concurrent disorder V Cook, C Peterson, Z Painter, D Dechev International Conference on Quantitative Evaluation of Systems, 239-257, 2020 | 1 | 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 | 1 | 2020 |
Quantifiability: a concurrent correctness condition modeled in vector space V Cook, C Peterson, Z Painter, D Dechev Computing 105 (5), 955-978, 2023 | | 2023 |
2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)| 978-1-6654-1455-5/20/$31.00© 2021 IEEE| DOI: 10.1109/PDP52278. 2021.00054 OEK Aktouf, J Alcaraz, P Alonso-Jordá, S Alonsol-Monsalve, MAZ Alves, ... | | |
Poster: Exploring Spatial, Temporal, and Logical Attacks on the Bitcoin Network M Saad, V Cook, L Nguyen, MT Thai, A Mohaisen | | |