On verifying C++ programs with probabilities. - Jiri Barnat; Ivana Cerná; Petr Rockai; Vladimír Still; Kristína Zákopcanová (SAC, 2016)

Timely Feedback in Unstructured Cybersecurity Exercises. - Jan Vykopal; Radek Oslejsek; Karolína Dockalová Burská; Kristína Zákopcanová (SIGCSE, 2018)

Exploratory Analysis of File System Metadata for Rapid Investigation of Security Incidents. - Michal Beran; Frantisek Hrdina; Daniel Kouril; Radek Oslejsek; Kristína Zákopcanová (VizSec, 2020)

Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations. - Kristína Zákopcanová; Marko Rehácek; Jozef Bátrna; Daniel Plakinger; Sergej Stoppel; Barbora Kozlíková (IEEE Trans. Vis. Comput. Graph., 2021)