L2M QC Spring 2025 | Tools for the automation of auditing of smart contracts for blockchain applications

The increasing adoption of blockchain technology, particularly in decentralized finance (DeFi), highlights the critical need for automated and efficient auditing tools for smart contracts and transaction monitoring. Traditional manual auditing methods are slow, labor-intensive, and insufficient to manage the growing complexity of smart contracts. By integrating AI-based techniques, this project aims to develop automated tools that can detect vulnerabilities in smart contracts in real-time, enabling faster and more reliable security audits. Additionally, these tools will provide continuous transaction monitoring, ensuring compliance and preventing fraudulent activities. The innovation lies in combining machine learning algorithms with blockchain security to scale audits, improve accuracy, and enhance the overall security of decentralized applications. Key stakeholders include blockchain developers, auditing firms, DeFi platforms, regulators, and end users, all of whom stand to benefit from more secure and efficient blockchain ecosystems.

Faculty Supervisor:

Mohammad Hamdaqa

Student:

Partner:

V1 Studio

Discipline:

Computer science

Sector:

Cyber Security; Artificial Intelligence; Technology

University:

Polytechnique Montréal

Program: