ConsenSys R&D — Senior Researcher

Oct 2019 – Dec 2021

Crosschain Work

• Performed Security Analysis of Atomic Crosschain Technologies
• Contributed towards the development of Atomic Crosschain Technology prototype on top of Java-based Ethereum Client, known as Hyperledger Besu. GitHub Handle: Raghavendra80.
• Published a blog on state-of-art research in Crosschain technology.

Ethereum 2 work

• Proposed an 'Atomic Cross Shard user-level Ether transfer' mechanism.
• Ethereum 1x (Stateless Ethereum)
• Proposed a way to adapt pointproofs technology for witness compression.
• Researched and presented polynomial commitments for witness compression.

Oracle Labs, Brisbane, Australia — Senior Researcher

Jan 2014 – Oct 2019

Java Vulnerability Detection team

• Researched on a type system for information flow security for programming languages
• Designed and implemented various security analyses on top of context-sensitive points-to analysis designed for libraries addressing the challenge of scalability
• Initiated new research projects on adaptive context-sensitive points-to analysis for large programs, hybrid analysis for framework-based web application analyses

PL/SQL Vulnerability Detection team

• Designed a static program analysis algorithm to identify cursor leaks in PL/SQL code. Implemented in C++ in the in-house Parfait/LLVM framework.
• Worked on identifying (first-order and second-order) SQL injections in PL/SQL code. Invented ways to model data flows through database operations under closed-world and open-world scenarios.

International Institute of Information Technology, Bangalore — Postdoctoral Fellowship

Jun 2013 – Dec 2013

Worked on a research project to generate test cases for embedded system software meeting various coverage criteria — investigating dynamic symbolic execution mechanisms for state chart representations of embedded systems in Matlab.

Indian Institute of Science (Dept. of CSA), Bangalore

PhD, Jan 2007 – Jun 2013 · Masters, Aug 2004 – Jan 2007

PhD — Supervisor: Prof. Deepak D'Souza. Thesis: Model Checking Infinite State Systems for Information Flow Security Properties. Worked on the specification and verification of trace-based and bisimulation-based security properties on various classes of infinite state systems — Petri nets, pushdown systems, one counter automata — and investigated the problem of verifying known security definitions against programs.

Masters — Supervisor: Prof. Deepak D'Souza. Thesis: Verification of Information Flow Security Properties. Worked on automatically verifying trace-based information security properties for abstract systems like finite automata.

Ittiam Systems — Software Engineer

Aug 2002 – Jul 2004

Ittiam Systems is a DSP technology company. Programmed in C and assembly languages on different embedded processors, implementing speech codecs (GSM AMR, G.728) and audio codecs (MPEG 1/2 Layer 1/2/3) on embedded processors like Videocore, ARC, and ARM.

Visvesvaraya Technological University (VTU) — B.E. Computer Science

Sep 1998 – Jul 2002

Sri Jayachamarajendra College of Engineering, Mysore, Karnataka, India.

Projects: a graphics editor in C for DOS, a text editor for Linux using ncurses, simulation of routing algorithms in C on Linux, an automated face recognition system using Machine Learning in C, and several hobby game projects. Undergraduate dissertation: "MP3 Decoder on C54X processor," as an internship at Ittiam Systems.