�Ӱ�ԭ��

Multiple Project Supervised by Dr. Mostafa Taha

Supervisor: Mostafa Taha

Website: /mtaha/

Student Category: M.Eng

1. NeuroLogic Shield: A Modular Robustness Assessment Platform for Neural and Logic-Based AI Models

Project Title: NeuroLogic Shield: A Modular Robustness Assessment Platform for Neural and Logic-Based AI Models

Project Description: Modern machine learning and AI systems, e.g., whether neural networks and logic‑based models, can behave unpredictably when exposed to small, carefully crafted input perturbations. This project focuses on giving students hands‑on experience with adversarial robustness, a critical skill for validating AI models before deployment. Students will build a compact “NeuroLogic Shield” platform that evaluates how two types of models: a simple multilayer perceptron (MLP) and a differentiable logic‑guided network (DLGN), respond to a single, well‑understood adversarial method: the Fast Gradient Sign Method (FGSM). By limiting the scope to one attack and two model classes, the project stays accessible while still offering deep value in understanding model behavior, debugging, and system‑level evaluation.

The student/team will implement FGSM from first principles, integrate it into a clean and modular evaluation pipeline, and run controlled experiments to assess each model’s robustness. They will design lightweight visualizations and a simple reporting interface that clearly communicates attack impact, accuracy degradation, and model‑specific vulnerabilities. The emphasis is on correctness, engineering clarity, and reproducible experimentation rather than building a full adversarial suite. With support in the form of starter code, background training, and close supervision, students can complete a technically meaningful project that teaches practical ML auditing skills and potentially produces a small open‑source contribution or workshop‑grade technical report.

2. Explainable Intrusion Detection System (IDS) on FPGA using Differential Logic Gate Networks

Project Title: Explainable Intrusion Detection System (IDS) on FPGA using Differential Logic Gate Networks

In this project, the student will design an Explainable Intrusion Detection System (IDS) using Deep Differential Logic Gate Networks (DDLGNs) and deploy it on an FPGA platform. The main goal is to detect malicious network activity in a way that is both fast and easy to understand. Unlike many traditional machine learning models that act like black boxes, DDLGNs make decisions using logical rules, which allows the system to explain why a network event is classified as normal or malicious. This is especially useful for cybersecurity applications, where trust and clear decision-making are very important.

The project will involve training a DDLGN-based IDS model, converting it into a logic-gate representation, and deploying it on an FPGA for efficient real-time inference. The system will take selected network features as input, classify the traffic, and provide simple rule-based explanations for its decisions

3. QuantumVerify: Design and Evaluation of a Post-Quantum Secure Document Signing Platform

Project Title: QuantumVerify: Design and Evaluation of a Post-Quantum Secure Document Signing Platform

As quantum computing advances, many widely used digital‑signature schemes—such as RSA and elliptic‑curve signatures—face long‑term vulnerabilities, raising concerns about the authenticity of documents that must remain trustworthy for years or decades. This project explores that emerging security challenge by building “QuantumVerify,” a functional document‑signing platform that relies entirely on standardized post‑quantum signature algorithms. Students will integrate CRYSTALS‑Dilithium and Falcon into a realistic signing workflow to examine how these quantum‑resistant schemes behave in practice. The project blends security fundamentals with applied engineering: instead of studying cryptographic math, students gain hands‑on experience with how post‑quantum primitives affect file sizes, performance, user workflows, and the feasibility of long‑term digital authenticity.

The student/team will develop a working document‑signing and verification application, run controlled experiments on files of varying sizes, and benchmark key metrics such as signing time, verification latency, key sizes, and signature overhead. The focus is on reproducible engineering evaluation and clear reporting rather than building a full production system. Students will also deploy the platform to a Raspberry Pi or microcontroller to compare desktop‑class and embedded‑class performance, highlighting real‑world constraints faced in IoT, compliance, and low‑power environments. The final result offers both practical insight into the trade‑offs between Dilithium and Falcon and a hands‑on experience with technologies that organizations will increasingly rely on as part of the post‑quantum transition.

4. Privacy and Transparency in Modern AI Services

Project Title: Privacy and Transparency in Modern AI Services

Modern AI services are becoming central to communication, business operations, and software platforms across Canada, yet most users still have little visibility into what happens to their data once it’s submitted to an AI tool. This project explores the emerging “AI Transparency Gap”: a growing uncertainty around who has access to user data, how long it’s stored, whether it contributes to future model training, and where in the world it travels. For organizations required to comply with Canadian privacy principles, especially PIPEDA’s Accountability and Cross‑Border Transfer guidelines, this lack of clarity creates practical and legal risks. The goal of this project is to make those hidden processes visible in a way that is understandable to both technical and non‑technical audiences.

The student/team will investigate how major AI‑as‑a‑Service platforms manage data by creating a structured taxonomy of privacy and access risks, then turning those findings into a public‑facing transparency dashboard. Students will analyze documentation, APIs, and platform behaviour to classify services based on access hierarchy, data residency, training ingestion, cross‑session memory, and output ownership. Using these insights, they will build a web‑based “AI Privacy Pulse” tool that presents simple scorecards, like a nutrition label, for each AI provider. This tool will help Canadian users and small organizations make informed decisions about which AI services align with their privacy expectations.

Multiple projects on aspects of Software Verification and Validation

Project: Multiple projects on aspects of Software Verification and Validation

Supervisor: Yvan Labiche

Website: /squall/

Student Category: UG / MASc / M.Eng. / Ph.D.

Project Description: The Software Quality Engineering laboratory studies various problems in the field of software verification and validation with the aim to provide sufficient empirical information so that engineers can make informed decisions to use such or such software testing technique. Application domains vary greatly with past work in aerospace, medical imaging, telecommunication, and finance. Problems include the semi-automated construction of tests from plain language specifications, solving the oracle problem (how do we know the outcome of a test execution is what we expect), optimizing software testing from finite state machines and extended finite state machines, and studying the impact of structural coverage principles. Solutions rely on proven, theoretical techniques borrowed from computer science and applied mathematics as well as heuristics, meta-heuristics, machine learning, and AI.

Pre-requisite: Successful students tend to have background in software engineering, computer science, or computer engineering.