Zaruhi Aslanyan

According to our database, Zaruhi Aslanyan authored at least 6 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Formal Analysis of Graphical Security Models.

Zaruhi Aslanyan

PhD thesis, 2017

Model Checking Exact Cost for Attack Scenarios.

Zaruhi Aslanyan, Flemming Nielson

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Understanding How Components of Organisations Contribute to Attacks.

Min Gu, Zaruhi Aslanyan, Christian W. Probst

Proceedings of the Secure IT Systems - 21st Nordic Conference, NordSec 2016, Oulu, Finland, 2016

Quantitative Verification and Synthesis of Attack-Defence Scenarios.

Zaruhi Aslanyan, Flemming Nielson, David Parker

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Pareto Efficient Solutions of Attack-Defence Trees.

Zaruhi Aslanyan, Flemming Nielson

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Modelling and Analysing Socio-Technical Systems.

Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst

Proceedings of the 1st International Workshop on Socio-Technical Perspective in IS Development (STPIS'15) co-located with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015