Titre du projet de recherche

Audit logiciel automatisé pour les contrats intelligents

niveau d'étude

Maîtrise ou doctorat

Directeur/codirecteur

Directeur : Mohammad Hamdaqa

Fin de l'affichage

7 septembre 2027

Domaines d'expertise

Intelligence artificielle

Génie logiciel

Études de modélisation et de simulation

Conception de systèmes d'information

Logiciel de systèmes informatiques

Pôle d'excellence principal

Modélisation et intelligence artificielle

Unité(s) et département(s)

Département de génie informatique et génie logiciel

Conditions

Génie logiciel Apprentissage automatique PNL et LLM Génie logiciel basé sur la recherche Génie logiciel empirique

Description détaillée

Notre objectif n'est pas de remplacer les auditeurs mais de

• leur apporter un soutien via des suggestions d’audit et du code
• exploitez les approches de similarité de code et de transformation de code et utilisez les rapports d'audit précédents pour détecter les problèmes de sécurité dans les nouveaux contrats intelligents non audités et corriger ces problèmes.
• Développer des techniques d'analyse binaire de pointe pour l'analyse de code multiplateforme
• Développer de nouveaux outils d’aide à l’audit de sécurité pour les contrats intelligents

Possibilité de financement

Financé