Research & Vision

My research focuses on systems security, binary analysis, and software debloating. I investigate how unexecuted and dead code in compiled binaries introduces unnecessary attack surfaces into modern software environments like WebAssembly and RISC-V systems.

Built a compiler-guided forced-execution prototype that repairs a deciding operand and rechecks the selected branch condition. Using LLVM instrumentation, binary-bound metadata, and runtime validation, raised edge-condition consistency from 36.3% to 83.9% across 4,691 paired directed edges in 30 subjects. Operand repair changed program outputs or called-function sets on 31.1% of a separate 412-edge matched set. The associated manuscript is submitted; review pending. Satisfying one branch condition does not establish whole-path feasibility. Current work investigates fault-injection attacks at an early stage.

Learning Through Competition: A Retrospective on the 2026 MITRE eCTF at Binghamton University: Accepted paper on Binghamton University's participation in the 2026 MITRE eCTF, examining team organization, embedded-system defense and attack work, and lessons for competition-based cybersecurity education.

Program Committee Member: Served on the 2026 CISSE Program Committee, contributing peer reviews of academic papers in cybersecurity education.

Dead Weight: Analyzing Code Bloat and Its Security Implications in WebAssembly Binaries: Static reachability analysis of 8,461 WebAssembly binaries, with separate dynamic coverage measurements on controlled workloads finding 70–85% of functions unexecuted in those workloads. Simulated debloating quantifies potential attack-surface reduction.

Distinguished Reviewer Award: Pratik Kamble received the Distinguished Reviewer Award at USENIX Security 2026 Artifact Evaluation in recognition of thorough, constructive reviews that strengthened the evaluation process and supported open science.

Embedded Capture the Flag (eCTF): Team Co-Captain: Co-captained Binghamton University's team to 13th place among 100+ teams, directing defensive firmware architecture and offensive exploit operations.

Journey & Milestones

Doctoral Security Researcher · Binghamton University (SUNY)

Advised by Dr. Aravind Prakash. Built a compiler-guided forced-execution prototype that repairs a deciding operand and rechecks the selected branch condition. Using LLVM instrumentation, binary-bound metadata, and runtime validation, raised edge-condition consistency from 36.3% to 83.9% across 4,691 paired directed edges in 30 subjects. Operand repair changed program outputs or called-function sets on 31.1% of a separate 412-edge matched set. The associated manuscript is submitted; review pending. Satisfying one branch condition does not establish whole-path feasibility. Current work investigates fault-injection attacks at an early stage.

Software Engineer · Vibrent Health

Engineered high-throughput Apache Kafka bulk-messaging infrastructure and distributed microservices for the NIH All of Us Research Program and Children’s National Hospital.

M.S. in Computer Science · University of Florida

Software Engineer · Vignet Inc.

Developed Java and Spring microservices, REST APIs, and Kafka IoT data pipelines for precision-medicine platforms and wearable health integrations.

B.E. in Computer Engineering · Savitribai Phule Pune University

First Class with Distinction.