Petr Matousek

According to our database, Petr Matousek authored at least 33 papers between 2003 and 2023.

Collaborative distances:

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

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, May, 2023

2022

Modbus Dataset for ICS Anomaly Detection.

Ondrej Rysavý, Petr Matousek

Dataset, March, 2022

ICS Dataset for Smart Grid Anomaly Detection.

Petr Matousek, Ondrej Rysavý, Peter Grofcík

Dataset, March, 2022

Metering Homes: Do Energy Efficiency and Privacy Need to Be in Conflict?

Libor Polcák, Petr Matousek

Proceedings of the 19th International Conference on Security and Cryptography, 2022

2021

Outlier Detection in Smart Grid Communication.

Nelson Makau Mutua, Petr Matousek

CoRR, 2021

Unified SNMP Interface for IoT Monitoring.

Petr Matousek, Ondrej Rysavý, Libor Polcák

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata.

Petr Matousek, Vojtech Havlena, Lukás Holík

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

A Network Traffic Processing Library for ICS Anomaly Detection.

Ondrej Rysavý, Petr Matousek

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

Anomaly Detection of ICS Communication Using Statistical Models.

Ivana Burgetova, Petr Matousek, Ondrej Rysavý

Proceedings of the 17th International Conference on Network and Service Management, 2021

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

Identity Linking in Computer Networks.

Libor Polcák, Ondrej Rysavý, Petr Matousek

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

2019

Security Monitoring of IoT Communication Using Flows.

Petr Matousek, Ondrej Rysavý, Matej Grégr

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2016

On Efficiency of Distributed Password Recovery.

Petr Matousek, Radek Hranicky, Martin Holkovic, Ondrej Rysavý

J. Digit. Forensics Secur. Law, 2016

Experimental Evaluation of Password Recovery in Encrypted Documents.

Radek Hranicky, Petr Matousek, Ondrej Rysavý, Vladimír Veselý

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

2015

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

Proceedings of the Digital Forensics and Cyber Crime - 7th International Conference, 2015

2014

Comment on "Remote Physical Device Fingerprinting".

Libor Polcak, Jakub Jirasek, Petr Matousek

IEEE Trans. Dependable Secur. Comput., 2014

Fast RTP Detection and Codecs Classification in Internet Traffic.

Petr Matousek, Ondrej Rysavý, Martin Kmet

J. Digit. Forensics Secur. Law, 2014

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

Proceedings of the DCNET 2014, 2014

2013

On formal reachability analysis in networks with dynamic behavior.

Gayan de Silva, Ondrej Rysavý, Petr Matousek, Miroslav Svéda

Telecommun. Syst., 2013

Multicast simulation and modeling in OMNeT++.

Vladimír Veselý, Petr Matousek, Miroslav Svéda

Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Host Identity Detection in IPv6 Networks.

Libor Polcak, Martin Holkovic, Petr Matousek

Proceedings of the E-Business and Telecommunications - International Joint Conference, 2013

A New Approach for Detection of Host Identity in IPv6 Networks.

Libor Polcak, Martin Holkovic, Petr Matousek

Proceedings of the DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems, Reykjavík, Iceland, 29, 2013

2011

Practical IPv6 monitoring-challenges and techniques.

Matej Grégr, Petr Matousek, Miroslav Svéda, Tomas Podermanski

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Reachability Analysis in Dynamically Routed Networks.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Combination of simulation and formal methods to analyse network survivability.

Petr Matousek, Ondrej Rysavý, Gayan de Silva, Martin Danko

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Formal analysis approach on networks with dynamic behaviours.

Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda

Proceedings of the International Conference on Ultra Modern Telecommunications, 2010

Static Analysis of Routing and Firewall Policy Configurations.

Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

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

Proceedings of the DCNET 2010 & OPTICS 2010 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication Systems, Athens, Greece, July 26, 2010

2008

A Formal Model for Network-Wide Security Analysis.

Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2006

Verifying VHDL Designs with Multiple Clocks in SMV.

Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.

Petr Matousek, Ales Smrcka, Tomás Vojnar

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Tools for Parametric Verification. A Comparison on a Case Study.

Petr Matousek

J. Univers. Comput. Sci., 2004

2003

Verification of Workflow Specification Standards.

Petr Matousek

Proceedings of the Doctoral Consortium, 2003