research Cargo Sherlock Formally modelling the trust in supply chain of Rust packages. LHS A static analysis tool for verifying the safety of Rust programs. Alexa Privacy Understanding targetted advertisements on Alexa. Counterexamples in Safe Rust Attack patterns that break memory safety in Safe Rust. Ads Accessibility Measuring the accessibility of online advertisements for visually impaired users. class projects ASL Recognition System American Sign Language Recnognition system in real time, using trained Neural Network LLMs as Devloper Assistants Accessing Local Language Models as Developer Assistance Tools and Evaluating their Performance. 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. Anycast Domain Name System Building a Resilient and Scalable Anycast DNS System that can withstand DDoS attacks. Bloodlink Automating the blood donation request system for a community service society thorugh a mobile application. AssisTH A telehealth application fun Line Following Robot Bananana
