Kateryna Netkachova

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Topics

Intrusion Detection

Security Measures

Argumentation Theory

Top Venues

SAFECOMP Workshops

ISSRE Workshops

Publications

Robin Bloomfield, Kateryna Netkachova, John Rushby
Defeaters and Eliminative Argumentation in Assurance 2.0. CoRR (2024)
Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova
Using an Assurance Case Framework to Develop Security Strategy and Policies. SAFECOMP Workshops (2017)
Kateryna Netkachova, Robin E. Bloomfield
Is Chocolate Good for You - or, Is the Cloud Secure? Computer 50 (8) (2017)
Kateryna Netkachova, Robin E. Bloomfield
Security-Informed Safety. Computer 49 (6) (2016)
Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield
Security-Informed Safety Case Approach to Analysing MILS Systems. MILS@HiPEAC (2015)
Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield
Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE. SAFECOMP Workshops (2015)
Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. SAFECOMP Workshops (2015)
Robin E. Bloomfield, Kateryna Netkachova
Building Blocks for Assurance Cases. ISSRE Workshops (2014)
Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud
Security-Informed Safety: If It's Not Secure, It's Not Safe. SERENE (2013)