Thesis Topic Details

Topic ID:
3315
Title:
Security Analysis of Multicore Systems
Supervisor:
Ralf Huuck
Research Area:
Formal Methods, Security, Algorithms
Associated Staff
Assessor:
Kai Engelhardt
Topic Details
Status:
Active
Type:
R & D
Programs:
CS SE
Group Suitable:
Yes
Industrial:
Pre-requisites:
--
Description:
Efficient analysis of multi-threaded systems is hard. This is in particular true for detecting security vulnerabilities. The goal of this thesis is to investigate the use of automated formal methods such as model checking, SMT solving and static analysis to efficiently detect security vulnerabilities in multi-threaded C/C++ code.
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.