My Projects

Open-source tools and research prototypes in formal verification, security analysis, and automated reasoning.

9 of 9 projects
Multi-Agent Aerial Swarm Coordination Completed

Multi-Agent Aerial Swarm Coordination

Robotics

Event-driven coordination protocol for autonomous drone swarms

Python ROS Raspberry Pi ArduPilot MAVLink
ENIGMA Logic Locking Framework Completed

ENIGMA Logic Locking Framework

Hardware Security

Automated hardware IP protection through logic obfuscation

Python Verilog RISC-V EDA Tools
SDN-Based Machine Learning IDS Completed

SDN-Based Machine Learning IDS

Network Security

Intrusion Detection System for Software-Defined Networks using ML/DL models

Python TensorFlow scikit-learn Mininet Ryu CloudLab
Legal Case Outcome Prediction with NLP Completed

Legal Case Outcome Prediction with NLP

Machine Learning

Transformer-based models for automated legal analysis

Python TensorFlow PyTorch Transformers NLP
Private AI Document Analyzer Completed

Private AI Document Analyzer

AI & Privacy

Secure offline document analysis using locally deployed LLMs

Python Docker Ollama LLaMA DeepSeek
Scalar RISC-V Microprocessor Completed

Scalar RISC-V Microprocessor

Hardware Design

5-stage pipelined processor with hazard detection and forwarding

Verilog Python RISC-V Digital Logic
Voice-Controlled Home Automation System Completed

Voice-Controlled Home Automation System

Embedded Systems

ESP32-based voice automation with TinyML wake-word detection

C/C++ Python TensorFlow Lite ESP32 JavaScript
FPGA Real-Time Circle Renderer Completed

FPGA Real-Time Circle Renderer

Hardware Design

Hardware-accelerated graphics using Bresenham's Circle Algorithm

Verilog FPGA VGA Digital Logic
2D CNC Machine (Drawbot) Completed

2D CNC Machine (Drawbot)

Embedded Systems

G-code controlled drawing robot with motion planning algorithms

C/C++ Python Arduino G-code