Projects

Research tools, class projects, and side projects by Muhammad Hassnain — including Cargo Sherlock, CratesReport, CratesDiff, LHS, Rust Counterexamples, and more.

research
project thumbnail

Page Wars - The Dirty Awakens

Providing security gurantees across the FFI boundary
project thumbnail

LHS

A static analysis tool for verifying the safety of Rust programs.
project thumbnail

Cargo Sherlock

Formally modelling the trust in supply chain of Rust packages.
project thumbnail

Counterexamples in Safe Rust

Attack patterns that break memory safety in Safe Rust.
project thumbnail

Ads Accessibility

Measuring the accessibility of online advertisements for visually impaired users.

class projects
project thumbnail

ASL Recognition System

American Sign Language Recnognition system in real time, using trained Neural Network
project thumbnail

LLMs as Devloper Assistants

Accessing Local Language Models as Developer Assistance Tools and Evaluating their Performance.
project thumbnail

In Rust we Trust?

This project evaluates three Rust code analysis tools—Rudra, Miri, and Cargo-Scan—for their effectiveness in detecting memory safety issues. We compare their accuracy, memory consumption, and analysis time using a dataset of Rust crates.
project thumbnail

Anycast Domain Name System

Building a Resilient and Scalable Anycast DNS System that can withstand DDoS attacks.
project thumbnail

Bloodlink

Automating the blood donation request system for a community service society thorugh a mobile application.
project thumbnail

AssisTH

A telehealth application

fun
project thumbnail

CodeShelf

A local, zero-dependency dashboard to monitor, search, and reply to your Claude Code sessions — grouped by status, not alphabetically.

project thumbnail

CratesReport

A web dashboard that gathers Rust crates from crates.io alongside the output of various program-analysis and security tools, so you can assess a dependency before you trust it.
project thumbnail

Line Following Robot

Bananana
project thumbnail

CratesDiff

Full-source diffs between any two versions of a Rust crate from crates.io, viewed right in the browser — an open-source alternative to diff.rs, with commenting for review and collaboration.