top of page

Projects

Completed

Formal Method Analysis of SecureDNA protocol

Role: Team Leader | National Security Agency

As part of the INSuRE research initiative, my team and I are conducting a formal methods analysis of the SecureDNA protocol, a project supported by the National Security Agency (NSA). Our focus is on strengthening the protocol by closely examining its registration and exception-handling processes.

Key objectives of the project include:

  • Modeling: Creating a formal model of the SecureDNA protocol's registration and exception-handling mechanisms to provide a clear representation of its functionality.

  • Security Goals Definition: Articulating specific security goals that the protocol must meet to ensure its effectiveness and resilience against potential threats.

  • Formal Analysis: Conduct a rigorous formal analysis to determine whether the constructed model satisfies the defined security goals, utilizing tools such as the Cryptographic Protocol Shapes Analyzer (CPSA).​


Through this research, we aim to identify and address vulnerabilities within the SecureDNA protocol

Vulnerability Assessments for Public Organization in MD

Role: Team Member| University of Maryland, Baltimore County

This independent study, guided by Dr. Laura Mateczun, Ph.D., will focus on conducting cybersecurity assessments for public organizations, following the Nationwide Cybersecurity Review (NCSR) framework. This project will provide insight into cybersecurity control groups and policies specific to public sector organizations.

Key phases of the project include:

​

  • Training: Completing the MIT Cybersecurity for Critical Urban Infrastructure course to build a strong foundation in securing critical infrastructure systems.

  • Hands-On Assessments: After training, I will undergo specialized instruction to perform vulnerability assessments and cybersecurity evaluations for public organizations, including state and local agencies.

  • Cybersecurity Review: In the upcoming Spring semester, I will conduct comprehensive NCSR assessments, identifying potential vulnerabilities in the cybersecurity frameworks of public organizations. This process will culminate in a detailed report that summarizes findings, recommendations, and remediation strategies.


Through this project, I aim to enhance cybersecurity readiness and resilience for public sector entities by applying industry-leading assessment methods.

Automated Vehicle using OpenCV (Self Driving Car)

Role: Team Leader | Rashtrasant Tukadoji Maharaj Nagpur University

  • Led a team in the development of a small-scale self-driving car to explore the fundamentals of autonomous vehicle technology

  • Utilized OpenCV and machine learning to enable the vehicle to detect traffic lights, recognize road signs, change lanes, and execute start/stop actions, improving safety by avoiding potential collisions.

  • Worked with key algorithms, including Lane Detection and Following System (LDFS), Traffic Light Detection System (TLDS), and Real-Time Object Detection System (RTODS).

  • Conducted research and analysis on essential components for the project, including Raspberry Pi, Arduino UNO, PCB, L298 H Bridge, and Raspberry Pi Camera.

  • Delegated coding tasks based on team expertise and co-authored a research paper on the project’s findings.

Spotify Clone

Independent

  • Developed a Spotify clone using Next.js and JavaScript,  and deployed it on Microsoft Azure.

  • Designed the web application to consume data from the Spotify API, closely mimicking the UI and frontend behaviors of the official Spotify Web Player.

  • Designed the model from scratch, mainly to get some hands-on experience with NextJs Development.

  • Engineered the project from scratch to gain hands-on experience with Next.js development, utilizing tools and techniques such as Tailwind CSS, Recoil, NextAuth, Middleware, React, Debounce, and OAuth JWT for authentication.

bottom of page