Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
Narges Khakpour, Nicolas Berthier
We introduce a scalable, modular, and sound approach for automatically constructing formal security specifications for Java bytecode programs in the form of method summaries. A sum…
cs.CR2022
Partially-Observable Security Games for Automating Attack-Defense Analysis
Narges Khakpour, David Parker
Network systems often contain vulnerabilities that remain unfixed in a network for various reasons, such as the lack of a patch or knowledge to fix them. With the presence of such…