2020

• Replication-Guided Enumeration of Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana

  Article in Proceedings

  26th International Conference on Principles and Practice of Constraint Programming, year: 2020

• Rotation Based MSS/MCS Enumeration

  BENDÍK Jaroslav ČERNÁ Ivana

  Article in Proceedings

  LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2020

• Secure software modeling methods for forensic readiness

  DAUBNER Lukáš PITNER Tomáš

  Article in Proceedings

  Proceedings of the 22nd International Conference on Information Technology for Practice, year: 2020

• Session-level Adversary Intent-Driven Cyberattack Simulator

  DRAŠAR Martin MOSKAL Stephen YANG Shanchieh Jay ZAŤKO Pavol

  Article in Proceedings

  Year: 2020

• Simulation Games Platform for Unintentional Perpetrator Attack Vector Identification

  MACÁK Martin KRUŽÍKOVÁ Agáta DAUBNER Lukáš BÜHNOVÁ Barbora

  Article in Proceedings

  ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, year: 2020

• SoK: Contemporary Issues and Challenges to Enable Cyber Situational Awareness for Network Security

  HUSÁK Martin JIRSÍK Tomáš YANG Shanchieh Jay

  Article in Proceedings

  Proceedings of the 15th International Conference on Availability, Reliability and Security, year: 2020

• The Future of the Certification of Cybersecurity Technologies

  VOSTOUPAL Jakub

  Article in Periodical

  Jusletter IT. Die Zeitschrift für IT und Recht., year: 2020, volume: 2020, edition: 30. September, DOI

• Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation

  CIOROAICA Emilia CHREN Stanislav AKTOUF Oum-El-Kheir LARSSON Alf CHILLAREGE Ram KUHN Thomas SCHNEIDER Daniel WOLSCHKE Christian

  Article in Proceedings

  Proceedings of 28th International Conference on Software, Telecommunications and Computer Networks (SoftCom 2020), year: 2020

• Towards verifiable evidence generation in forensic-ready systems

  DAUBNER Lukáš MACÁK Martin BÜHNOVÁ Barbora PITNER Tomáš

  Article in Proceedings

  2020 IEEE International Conference on Big Data (Big Data), year: 2020

• Traffic and Log Data Captured During a Cyber Defense Exercise

  TOVARŇÁK Daniel ŠPAČEK Stanislav VYKOPAL Jan

  Article in Periodical

  Data in Brief, year: 2020, DOI