Arjun Viswanathan

Affiliations:

According to our database¹, Arjun Viswanathan authored at least 2 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Attack-defense tree-based analysis and optimal defense synthesis for system design.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., June, 2025

2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022