Search Results - "Aslanyan, Zaruhi"
-
1
Quantitative Verification and Synthesis of Attack-Defence Scenarios
Published in 2016 IEEE 29th Computer Security Foundations Symposium (CSF) (01-06-2016)“…Attack-defence trees are a powerful technique for formally evaluating attack-defence scenarios. They represent in an intuitive, graphical way the interaction…”
Get full text
Conference Proceeding Journal Article -
2
Privacy Analysis of Format-Preserving Data-Masking Techniques
Published in 2019 12th CMI Conference on Cybersecurity and Privacy (CMI) (01-11-2019)“…With the growing number of regulations and concerns regarding data privacy, there is an increasing need for protecting Personally Identifiable Information…”
Get full text
Conference Proceeding