Divya Rathore

Doctoral Research Scholar · PACE Lab · IIT Madras

Understanding why programs fail — and building program analysis techniques to prove they don’t.

[ Compilers ] [ Program Analysis ] [ Program Verification ] [ Programming Languages ]

[ Distributed Systems and Ledger Technology ]

I work at the intersection of Programming Languages, Compilers, and Program Analysis, focusing on security and correctness in smart contracts and distributed systems.

I develop static analysis and compiler-driven techniques to automatically reason about these behaviors without relying on manually specified invariants.

Re-entrancy is not just a control-flow hijacking 😈— it is fundamentally a problem of reasoning about interleaved executions over shared state.

In my recent work, I studied about interleaved executions and cross-contract interactions lead to subtle vulnerabilities such as re-entrancy which motivated the design of relational value analysis frameworks to formally verify the safety of smart contracts against re-entrancy.

Page updated

Google Sites

Report abuse