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. |
||