Olga Gadyatskaya

发表

Automating defence generation for risk assessment

Olga Gadyatskaya, 2016 .

FSquaDRA: Fast Detection of Repackaged Applications

Olga Gadyatskaya, Bruno Crispo, Yury Zhauniarovich, 2014, DBSec.

Security in the Firefox OS and Tizen Mobile Platforms

Fabio Massacci, Olga Gadyatskaya, Yury Zhauniarovich, 2014, Computer.

Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees

Olga Gadyatskaya, Sjouke Mauw, Steve Muller, 2016, GraMSec@CSF.

Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0

Olga Gadyatskaya, Ravi Jhawar, Rolando Trujillo-Rasua, 2016, QEST.

An Empirical Study of the Technology Transfer Potential of EU Security and Trust R&D Projects

Fabio Massacci, Olga Gadyatskaya, Martina de Gramatica, 2014, CSP Forum.

Graphical Models for Security: 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

Olga Gadyatskaya, O. Gadyatskaya, 2020, GraMSec@CSF.

Fine-grained Code Coverage Measurement in Automated Black-box Android Testing

Olga Gadyatskaya, Stanislav Dashevskyi, Yury Zhauniarovich, 2018, ACM Trans. Softw. Eng. Methodol..

A Load Time Policy Checker for Open Multi-application Smart Cards

Fabio Massacci, Olga Gadyatskaya, Nicola Dragoni, 2011, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks.

Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract?

Fabio Massacci, Olga Gadyatskaya, Nicola Dragoni, 2010, WISTP.

An Effective Android Code Coverage Tool

Olga Gadyatskaya, Stanislav Dashevskyi, Yury Zhauniarovich, 2018, CCS.

Dynamic resiliency to user assignment

Fabio Massacci, Olga Gadyatskaya, Federica Paci, 2010 .

Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study

Olga Gadyatskaya, Rajesh Kumar, Mariëlle Stoelinga, 2016, PoEM.

TRUSTORE: IMPLEMENTING A TRUSTED STORE FOR ANDROID

Olga Gadyatskaya, Bruno Crispo, Yury Zhauniarovich, 2013 .

Load Time Security Verification: The Claim Checker

Fabio Massacci, Olga Gadyatskaya, Eduardo Lostal, 2011 .

Attribute Evaluation on Attack Trees with Incomplete Information pdf

Olga Gadyatskaya, Ahto Buldas, Aleksandr Lenin, 2018, Comput. Secur..

High-level algorithms and data structures requirements for security-by-contract on Java cards

Fabio Massacci, Olga Gadyatskaya, Nicola Dragoni, 2012, Int. J. Crit. Comput. Based Syst..

Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract

Fabio Massacci, Olga Gadyatskaya, 2012, FMCO.

Towards Black Box Testing of Android Apps

Fabio Massacci, Olga Gadyatskaya, Bruno Crispo, 2015, 2015 10th International Conference on Availability, Reliability and Security.

Dissecting Android Cryptocurrency Miners

Olga Gadyatskaya, Stanislav Dashevskyi, Yury Zhauniarovich, 2019, CODASPY.

Evaluation of Resource-Based App Repackaging Detection in Android

Olga Gadyatskaya, Yury Zhauniarovich, Andra-Lidia Lezza, 2016, NordSec.

SecureChange public project deliverable D6.6: Development-time and on-device interplay

Frank Piessens, Fabio Massacci, Olga Gadyatskaya, 2012 .

Refinement-Aware Generation of Attack Trees

Olga Gadyatskaya, Ravi Jhawar, Tim A. C. Willemse, 2017, STM.

Load time code validation for mobile phone Java Cards

Fabio Massacci, Olga Gadyatskaya, Quang Huy Nguyen, 2013, J. Inf. Secur. Appl..

DEMO: Enabling trusted stores for android

Olga Gadyatskaya, Bruno Crispo, Yury Zhauniarovich, 2013, CCS.

Security-by-Contract for the OSGi Platform

Fabio Massacci, Olga Gadyatskaya, Anton Philippov, 2012, SEC.

Modelling Attack-defense Trees Using Timed Automata

Kim G. Larsen, Axel Legay, Olga Gadyatskaya, 2016, FORMATS.

MAP-REDUCE Runtime Enforcement of Information Flow Policies pdf

Fabio Massacci, Olga Gadyatskaya, Minh Ngo, 2013, ArXiv.

Load Time Security Verification

Fabio Massacci, Olga Gadyatskaya, Eduardo Lostal, 2011, ICISS.

Towards Empirical Evaluation of Automated Risk Assessment Methods

Olga Gadyatskaya, Katsiaryna Labunets, Federica Paci, 2016, CRiSIS.

Java Card Architecture for Autonomous Yet Secure Evolution of Smart Cards Applications

Fabio Massacci, Olga Gadyatskaya, Federica Paci, 2010, NordSec.

The Influence of Code Coverage Metrics on Automated Testing Efficiency in Android

Olga Gadyatskaya, Stanislav Dashevskyi, Yury Zhauniarovich, 2018, CCS.

StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications

Fabio Massacci, Olga Gadyatskaya, Bruno Crispo, 2015, CODASPY.

Enabling trusted stores for android

Olga Gadyatskaya, Bruno Crispo, Yury Zhauniarovich, 2013, CCS 2013.

Attack-Tree Series: A Case for Dynamic Attack Tree Analysis

Olga Gadyatskaya, Sjouke Mauw, 2019, GraMSec@CSF.

Using EDP-Polynomials for Network Structure Optimization

Olga Gadyatskaya, Olga K. Rodionova, Alexey S. Rodionov, 2008, ICCSA.

New Directions in Attack Tree Research: Catching up with Industrial Needs

Olga Gadyatskaya, Rolando Trujillo-Rasua, Rolando Trujillo-Rasua, 2017, GraMSec@CSF.

How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems

Olga Gadyatskaya, 2015, GraMSec@CSF.

Security of the OSGi platform

Fabio Massacci, Olga Gadyatskaya, Anton Philippov, 2012 .

Supporting Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract

Fabio Massacci, Olga Gadyatskaya, Nicola Dragoni, 2010 .

Small Changes, Big Changes: An Updated View on the Android Permission System

Olga Gadyatskaya, Yury Zhauniarovich, 2016, RAID.

A Novel Approach for Attack Tree to Attack Graph Transformation: Extended Version pdf

Olga Gadyatskaya, Nathan Daniel Schiele, 2021, ArXiv.

Dynamic Resiliency to Changes

Fabio Massacci, Olga Gadyatskaya, Federica Paci, 2011 .