3 papers
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.PL2022
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
Nicolas Berthier, Narges Khakpour
In the realm of sound object-oriented program analyses for information-flow control, very few approaches adopt flow-sensitive abstractions of the heap that enable a precise modelin…
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…