WPI - Computer Science Department, MS Thesis Presentation, Kaveh Eskandari Miandoab " Logic For Exploit Detection: Utilizing Proof Search for Expoilatibility Detection in Compact Software Systems"
1:00 pm to 2:00 pm
Kaveh Eskandari Miandoab
MS Student
WPI – Computer Science Department
Thursday, April 18th , 2024
Time: 1:00 p.m. – 2:00 p.m.
Location : Olin Hall 218
Advisor: Prof. Rose Bohrer
Reader: Prof. Xiaoyan Shery Sun
Abstract:
Compact yet intricate systems and software play a crucial role at administrative, organizational, and personal levels, handling vast data processing, pivotal decision-making, and serving as essential tools in functions like voting and automatic moderation. However, inherent vulnerabilities in their design or the underlying data pose risks, impacting individuals.
This study addresses these concerns by proactively identifying and mitigating exploitability in compact software systems before implementation. Our approach involves modeling the system through linear logic programming, followed by proof search to uncover design vulnerabilities early on. We aim to establish a comprehensive and reliable framework for detecting design exploits, anticipating a reduced workload for rectifying mistakes.