Namrata Jain

According to our database, Namrata Jain authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Hooks: A Simple and Modular Checkpointing Protocol for Blockchains.

Pedro Antonino, Antoine Durand, Namrata Jain, Garry Lancaster, Jonathan Lawrence, A. W. Roscoe

Proceedings of the 22nd International Symposium on Network Computing and Applications, 2024

2022

SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).

Namrata Jain, Kosuke Kaneko, Subodh Sharma

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022