On the Decidability of Model-Checking Information Flow Properties. - Deepak D'Souza; Raveendra Holla; Janardhan Kulkarni; Raghavendra K. Ramesh; Barbara Sprick (ICISS, 2008)

Model-checking trace-based information flow properties for infinite-state systems. - Deepak D'Souza; R. K. Ramesh 001 (J. Comput. Secur., 2016)

An efficient tunable selective points-to analysis for large codebases. - Behnaz Hassanshahi; Raghavendra Kagalavadi Ramesh; Padmanabhan Krishnan; Bernhard Scholz; Yi Lu 003 (SOAP@PLDI, 2017)

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. - Anastasios Antoniadis; Nikos Filippakis; Paddy Krishnan; Raghavendra Ramesh; Nicholas Allen; Yannis Smaragdakis (PLDI, 2020)

Atomic Crosschain Transactions White Paper. - Peter Robinson 007; Raghavendra Ramesh; John Brainard; Sandra Johnson (CoRR, 2020)

Layer 2 Atomic Cross-Blockchain Function Calls. - Peter Robinson 007; Raghavendra Ramesh (CoRR, 2020)

General Purpose Atomic Crosschain Transactions. - Peter Robinson 007; Raghavendra Ramesh (IEEE ICBC, 2021)

Algorithm for Cross-shard Cross-EE Atomic User-level ETH Transfer in Ethereum 2. - Raghavendra Ramesh (CoRR, 2021)

Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT. - Isaac Doidge; Raghavendra Ramesh; Nibesh Shrestha; Joshua Tobkin (DSN, 2024)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol. - M. Praveen; Raghavendra Ramesh; Isaac Doidge (FMBC@CAV, 2024)

Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals. - Isaac Doidge; Raghavendra Ramesh; Nibesh Shrestha; Joshua Tobkin (CoRR, 2024)

Sharding SMR with Optimal-size Shards for Highly Scalable Blockchains. - Jianting Zhang; Zhongtang Luo; Raghavendra Ramesh; Aniket Kate (CoRR, 2024)

HyperLoop: Rationally secure efficient cross-chain bridge. - Aniket Kate; Easwar Vivek Mangipudi; Charan Nomula; Raghavendra Ramesh; Athina Terzoglou; Joshua Tobkin (IACR Cryptol. ePrint Arch., 2025)

Access Specification-Aware Software Transactional Memory Techniques for Efficient Execution of Smart Contract Transactions. - Parwat Singh Anjana; Srivatsan Ravi; Raghavendra Ramesh; Joshua Tobkin; Rohit Kapoor; Rahul Parmar (CoRR, 2025)

Optimal Sharding for Scalable Blockchains with Deconstructed SMR. - Jianting Zhang; Zhongtang Luo; Raghavendra Ramesh; Aniket Kate (Proc. VLDB Endow., 2025)