Distilling critical attack graph surface iteratively through minimum-cost SAT solving.

Heqing Huang, Su Zhang, Xinming Ou, Atul Prakash, Karem A. Sakallah

Browse the full ACSAC paper archive.