Narges Khakpour | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music AI Voice Chat

Featured Co-authors

David Parker
20 publications
Nicolas Berthier
4 publications

research

∙ 11/07/2022

Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)

In the realm of sound object-oriented program analyses for information-f...

0 Nicolas Berthier, et al. ∙

research

∙ 11/02/2022

Partially-Observable Security Games for Automating Attack-Defense Analysis

Network systems often contain vulnerabilities that remain unfixed in a n...

0 Narges Khakpour, et al. ∙