Verification of Workflow Specification Standards. - Petr Matousek (ICEIS Doctoral Consortium, 2003)

Tools for Parametric Verification. A Comparison on a Case Study. - Petr Matousek (J. Univers. Comput. Sci., 2004)

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. - Petr Matousek; Ales Smrcka; Tomás Vojnar (CHARME, 2005)

Verifying VHDL Designs with Multiple Clocks in SMV. - Ales Smrcka; Vojtech Rehák; Tomás Vojnar; David Safránek; Petr Matousek; Z. Rehák (FMICS/PDMC, 2006)

A Formal Model for Network-Wide Security Analysis. - Petr Matousek; Jaroslav Ráb; Ondrej Rysavý; Miroslav Svéda (ECBS, 2008)

Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. - Miroslav Svéda; Ondrej Rysavý; Petr Matousek; Jaroslav Ráb; Rudolf Cejka (DCNET/OPTICS, 2010)

Static Analysis of Routing and Firewall Policy Configurations. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ICETE (Selected Papers), 2010)

Formal analysis approach on networks with dynamic behaviours. - Gayan de Silva; Petr Matousek; Ondrej Rysavý; Miroslav Svéda (ICUMT, 2010)

Combination of simulation and formal methods to analyse network survivability. - Petr Matousek; Ondrej Rysavý; Gayan de Silva; Martin Danko (SimuTools, 2010)

Reachability Analysis in Dynamically Routed Networks. - Miroslav Svéda; Ondrej Rysavý; Gayan de Silva; Petr Matousek; Jaroslav Ráb (ECBS, 2011)

Practical IPv6 monitoring-challenges and techniques. - Matej Grégr; Petr Matousek; Miroslav Svéda; Tomas Podermanski (Integrated Network Management, 2011)

A New Approach for Detection of Host Identity in IPv6 Networks. - Libor Polcak; Martin Holkovic; Petr Matousek (DCNET/ICE-B/OPTICS, 2013)

Host Identity Detection in IPv6 Networks. - Libor Polcak; Martin Holkovic; Petr Matousek (ICETE (Selected Papers), 2013)

Multicast simulation and modeling in OMNeT++. - Vladimír Veselý; Petr Matousek; Miroslav Svéda (SimuTools, 2013)

On formal reachability analysis in networks with dynamic behavior. - Gayan de Silva; Ondrej Rysavý; Petr Matousek; Miroslav Svéda (Telecommun. Syst., 2013)

Towards Identification of Operating Systems from the Internet Traffic - IPFIX Monitoring with Fingerprinting and Clustering. - Petr Matousek; Ondrej Rysavý; Matej Grégr; Martin Vymlátil (DCNET, 2014)

Fast RTP Detection and Codecs Classification in Internet Traffic. - Petr Matousek; Ondrej Rysavý; Martin Kmet (J. Digit. Forensics Secur. Law, 2014)

Comment on "Remote Physical Device Fingerprinting". - Libor Polcak; Jakub Jirasek; Petr Matousek (IEEE Trans. Dependable Secur. Comput., 2014)

Advanced Techniques for Reconstruction of Incomplete Network Data. - Petr Matousek; Jan Pluskal; Ondrej Rysavý; Vladimír Veselý; Martin Kmet; Filip Karpísek; Martin Vymlátil (ICDF2C, 2015)

Experimental Evaluation of Password Recovery in Encrypted Documents. - Radek Hranicky; Petr Matousek; Ondrej Rysavý; Vladimír Veselý (ICISSP, 2016)

On Efficiency of Distributed Password Recovery. - Petr Matousek; Radek Hranicky; Martin Holkovic; Ondrej Rysavý (J. Digit. Forensics Secur. Law, 2016)

Security Monitoring of IoT Communication Using Flows. - Petr Matousek; Ondrej Rysavý; Matej Grégr (ECBS, 2019)

On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. - Petr Matousek; Ivana Burgetova; Ondrej Rysavý; Malombe Victor (ICDF2C, 2020)

Identity Linking in Computer Networks. - Libor Polcák; Ondrej Rysavý; Petr Matousek (ICETE (1), 2020)

Flow based monitoring of ICS communication in the smart grid. - Petr Matousek; Ondrej Rysavý; Matej Grégr; Vojtech Havlena (J. Inf. Secur. Appl., 2020)

Anomaly Detection of ICS Communication Using Statistical Models. - Ivana Burgetova; Petr Matousek; Ondrej Rysavý (CNSM, 2021)

A Network Traffic Processing Library for ICS Anomaly Detection. - Ondrej Rysavý; Petr Matousek (ECBS, 2021)

Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. - Petr Matousek; Vojtech Havlena; Lukás Holík (IM, 2021)

Unified SNMP Interface for IoT Monitoring. - Petr Matousek; Ondrej Rysavý; Libor Polcák (IM, 2021)

Outlier Detection in Smart Grid Communication. - Nelson Makau Mutua; Petr Matousek (CoRR, 2021)

Metering Homes: Do Energy Efficiency and Privacy Need to Be in Conflict? - Libor Polcák; Petr Matousek (SECRYPT, 2022)

ICS Dataset for Smart Grid Anomaly Detection. - Petr Matousek; Ondrej Rysavý; Peter Grofcík (IEEE DataPort, 2022)

Modbus Dataset for ICS Anomaly Detection. - Ondrej Rysavý; Petr Matousek (IEEE DataPort, 2022)

Arrival times by Recurrent Neural Network for induced seismic events from a permanent network. - Petr Kolár; Umair bin Waheed; Leo Eisner; Petr Matousek (Frontiers Big Data, 2023)

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. - Vojtech Havlena; Petr Matousek; Ondrej Rysavý; Lukás Holík (IEEE Trans. Smart Grid, 2023)

Experience Report: Using JA4+ Fingerprints for Malware Detection in Encrypted Traffic. - Petr Matousek; Ondrej Rysavý; Ivana Burgetova (CNSM, 2024)

Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systems. - Nelson Makau Mutua; Simin Nadjm-Tehrani; Petr Matousek (CRITIS, 2024)

Towards Identification of Network Applications in Encrypted Traffic. - Ivana Burgetova; Ondrej Rysavý; Petr Matousek (CSNet, 2024)