Research project title

Automated software auditing for smart contracts

Education level

Master or doctorate

Director/co-director

Director: Mohammad Hamdaqa

End of display

September 7, 2027

Areas of expertise

Artificial intelligence

Software engineering

Modelling and simulation studies

Information systems design

Computer systems software

Primary sphere of excellence in research

Modeling and Artificial Intelligence

Unit(s) and department(s)

Department of Computer Engineering and Software Engineering

Conditions

Software Engineering Machine Learning NLP and LLM Search Based Software Engineering Empirical Software Engineering

Detailed description

We are not aiming to replace auditors but to

• provide them with support through audit suggestions and code
• leverage code similarity and code transformation approaches and utilize previous audit reports for detecting security issues in new, unaudited smart contracts and correcting these issues.
• Develop State of the art binary analysis techniques for cross-platform code analysis
• Develop new security auditing assistance tools for smart contracts

Financing possibility

Funded