View Proposal

Proposer
Oleksandr Letychevskyi
Title
Neuro-symbolic approach in finding backdoors in the program code.
Goal
Explore AI techniques combined with an algebraic approach in finding vulnerabilities such as Backdoors
Description
Investigate the types of backdoors in the program code and create several examples on which to simulate the behavior of the program. Based on the received scenarios, create a neural network for detecting backdoors. In parallel, create a formal description of the semantics of the program's behavior with a backdoor. Create a method that uses the formal semantics of backdoors, and confirms or rejects the result of neural network classification.
Resources
Background
Url
Difficulty Level
High
Ethical Approval
None
Number Of Students
1
Supervisor
Oleksandr Letychevskyi
Keywords
backdoor, software vulnerability, neuro-symbolic approach
Degrees
Back to List