After successful completion of the course, students are able to understand and assess security aspects of smart contracts in detail. They are familiar with common taxonomies of vulnerabilities and relecant scientific literature.

• Vulnerabilities in Smart Contracts
• Analysis Methods
• Tools
• Exploits

• Introductory lecture
• Literature study
• Pratical exercises (exploit generation)
• Written report on a selected vulnerability
• Presentation

Knowledge of Solidity is required.

ECTS Breakdown

 2 h first meeting + introduction
 8 h summary of selected vulnerabilites
50 h generation of exploits 
 6 h writing the report
 5 h preparation of own presentation
 4 h presentations
-----------------------------------------
75 h = 3 ECTS

• Exploits
• Report
• Presentation

The seminar is held together with 192.127 Seminar in Software Engineering (Smart Contracts) and has a joint registration. Registration is possible only there from September 15th, 13:00.

Solidity