2 papers
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…