Kateryna Netkachova

According to our database, Kateryna Netkachova authored at least 10 papers between 2013 and 2024.

Collaborative distances:

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

2024

Defeaters and Eliminative Argumentation in Assurance 2.0.

Robin Bloomfield, Kateryna Netkachova, John Rushby

CoRR, 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2017

Is Chocolate Good for You - or, Is the Cloud Secure?

Kateryna Netkachova, Robin E. Bloomfield

Computer, 2017

Using an Assurance Case Framework to Develop Security Strategy and Policies.

Robin Bloomfield, Peter G. Bishop, Eoin Butler, Kateryna Netkachova

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Security-Informed Safety.

Kateryna Netkachova, Robin E. Bloomfield

Computer, 2016

2015

Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE.

Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield

Proceedings of the Computer Safety, Reliability, and Security, 2015

Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures.

Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov

Proceedings of the Computer Safety, Reliability, and Security, 2015

Security-Informed Safety Case Approach to Analysing MILS Systems.

Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

2014

Building Blocks for Assurance Cases.

Robin E. Bloomfield, Kateryna Netkachova

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Security-Informed Safety: If It's Not Secure, It's Not Safe.

Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013