Divya Rathore - Publications

ACM International Conference on the Foundations of Software Engineering (FSE)

Divya Rathore, Kartik Nagar, Verifying Smart Contract Security Against Re-entrancy Attacks through Relational Value Analysis, 2026, https://dl.acm.org/doi/10.1145/3797093
Divya Rathore, Kartik Nagar, Detecting and Validating Read-Only Reentrancy-Induced Price Manipulation via Learned Contract Semantics, 2026, https://doi.org/10.1145/3803437.3807390

International Conference on Intelligent Computing and Control Systems (ICICCS)

Divya Rathore, Virender Ranga, Secure Remote E-Voting using Blockchain, 2021, https://doi.org/10.1109/ICICCS51141.2021.9432249

Access the To be appear publication here

Page updated

Google Sites

Report abuse