Zaruhi Aslanyan

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 5

Top Topics

Functional Programs

Attack Scenarios

Countermeasures

Top Venues

Publications

Zaruhi Aslanyan, Flemming Nielson
Model Checking Exact Cost for Attack Scenarios. POST (2017)
Zaruhi Aslanyan, Flemming Nielson, David Parker
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF (2016)
Min Gu, Zaruhi Aslanyan, Christian W. Probst
Understanding How Components of Organisations Contribute to Attacks. NordSec (2016)
Zaruhi Aslanyan, Flemming Nielson
Pareto Efficient Solutions of Attack-Defence Trees. POST (2015)
Zaruhi Aslanyan, Marieta Georgieva Ivanova, Flemming Nielson, Christian W. Probst
Modelling and Analysing Socio-Technical Systems. STPIS@CAiSE (2015)