Divya Rathore - Projects

Research Projects

RAVEN: Verifying Smart Contract Safety Against Re-Entrancy (FSE 2026): Proposed a sound and precise static analysis framework for automatically verifying smart contracts against re-entrancy attacks. The approach leverages relational value analysis over the polyhedral domain to reason about program behaviors, achieving significantly higher precision and up to 77% reduction in false positives compared to prior tools.
Blockchain-based Remote E-Voting System (ICICCS 2021): Presented a proof-of-concept remote voting system leveraging blockchain and cryptographic techniques to ensure security, anonymity, and reliability. The system enables voting without physical supervision while preserving voter privacy and preventing premature inference of results, thereby enhancing transparency and trust.

Compiler Analysis and Optimizations

Reachability and Dependence analysis for Solidity programs at the source-code level
Implemented type checking and intermediate code generation for a Java subset (BuritoJava / TACo)
Developed compiler optimizations including conditional constant propagation and function inlining
Program analysis techniques such as Andersen’s points-to analysis and Naumovich MHP analysis for Java programs

Other Side Gigs

Behavioral Simulation of Smart Contracts (PLDI): Implemented a simulation framework to analyze and model smart contract behaviors under varying execution scenarios.
Hedera Hashgraph Consensus Prototyping: Built prototypes exploring the Hedera Hashgraph consensus mechanism and its applicability in distributed systems.