Published
Formal Verification
Lean 4 confinement checks for untrusted quantum-cloud transpiler output
My Projects
Open-source tools and research prototypes in formal verification, security analysis, and automated reasoning.
Select one or more tags to filter (otherwise all projects are shown)
Domain
Build Surface
Setting
15 of 15 projects
Published
Completed
Robotics
Event-driven coordination protocol for autonomous drone swarms
Active
Agent Evaluation
Configurable agent evaluation on Unity HPC with isolated sandboxes
Completed
Hardware Security
Automated hardware IP protection through logic obfuscation
Active
Mobile Security
Toolkit for eUICC inspection, RSP capture, and eSIM protocol analysis
Active
Local Inference
OpenAI-compatible local router for Ollama and Hugging Face
Active
Hardware Security
Gate-level logic locking, netlist conversion, and oracle-guided SAT attacks
Completed
Network Security
Intrusion Detection System for Software-Defined Networks using ML/DL models
Active
Research Computing
Headless campaign controller for reproducible jobs on Unity Slurm
Completed
Legal Case Outcome Prediction with NLP
Machine Learning
Transformer-based models for automated legal analysis
Completed
Private AI Document Analyzer
AI & Privacy
Secure offline document analysis using locally deployed LLMs
Completed
Hardware Design
5-stage pipelined processor with hazard detection and forwarding
Completed
Voice-Controlled Home Automation System
Embedded Systems
ESP32-based voice automation with TinyML wake-word detection
Completed
Hardware Design
Hardware-accelerated graphics using Bresenham's Circle Algorithm
Completed
Embedded Systems
G-code controlled drawing robot with motion planning algorithms
No project carries every tag you selected. Drop one to widen the search.