Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. - Baoluo Meng; Arjun Viswanathan 003; William Smith; Abha Moitra; Kit Siu; Michael Durling (NFM, 2022)

Attack-defense tree-based analysis and optimal defense synthesis for system design. - Baoluo Meng; Arjun Viswanathan 003; Saswata Paul; William Smith; Abha Moitra; Kit Siu; Michael Durling (Innov. Syst. Softw. Eng., 2025)