WPI - Computer Science Department, MS Thesis Presentation, Kaveh Eskandari Miandoab " Logic For Exploit Detection: Utilizing Proof Search for Expoilatibility Detection in Compact Software Systems"

Thursday, April 25, 2024
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



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.



Computer Science