Petr Matousek

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 14

Top Topics

Probabilistic Automata

Anomaly Detection

Statistical Models

Top Venues

J. Digit. Forensics Secur. Law

Publications

Petr Kolár, Umair bin Waheed, Leo Eisner, Petr Matousek
Arrival times by Recurrent Neural Network for induced seismic events from a permanent network. Frontiers Big Data 6 (2023)
Vojtech Havlena, Petr Matousek, Ondrej Rysavý, Lukás Holík
Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Trans. Smart Grid 14 (3) (2023)
Libor Polcák, Petr Matousek
Metering Homes: Do Energy Efficiency and Privacy Need to Be in Conflict? SECRYPT (2022)
Petr Matousek, Vojtech Havlena, Lukás Holík
Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. IM (2021)
Nelson Makau Mutua, Petr Matousek
Outlier Detection in Smart Grid Communication. CoRR (2021)
Ondrej Rysavý, Petr Matousek
A Network Traffic Processing Library for ICS Anomaly Detection. ECBS (2021)
Ivana Burgetova, Petr Matousek, Ondrej Rysavý
Anomaly Detection of ICS Communication Using Statistical Models. CNSM (2021)
Petr Matousek, Ondrej Rysavý, Libor Polcák
Unified SNMP Interface for IoT Monitoring. IM (2021)
Petr Matousek, Ondrej Rysavý, Matej Grégr, Vojtech Havlena
Flow based monitoring of ICS communication in the smart grid. J. Inf. Secur. Appl. 54 (2020)
Petr Matousek, Ivana Burgetova, Ondrej Rysavý, Malombe Victor
On Reliability of JA3 Hashes for Fingerprinting Mobile Applications. ICDF2C (2020)
Libor Polcák, Ondrej Rysavý, Petr Matousek
Identity Linking in Computer Networks. ICETE (1) (2020)
Petr Matousek, Ondrej Rysavý, Matej Grégr
Security Monitoring of IoT Communication Using Flows. ECBS (2019)
Petr Matousek, Radek Hranicky, Martin Holkovic, Ondrej Rysavý
On Efficiency of Distributed Password Recovery. J. Digit. Forensics Secur. Law 11 (2) (2016)
Radek Hranicky, Petr Matousek, Ondrej Rysavý, Vladimír Veselý
Experimental Evaluation of Password Recovery in Encrypted Documents. ICISSP (2016)
Petr Matousek, Jan Pluskal, Ondrej Rysavý, Vladimír Veselý, Martin Kmet, Filip Karpísek, Martin Vymlátil
Advanced Techniques for Reconstruction of Incomplete Network Data. ICDF2C (2015)
Libor Polcak, Jakub Jirasek, Petr Matousek
Comment on "Remote Physical Device Fingerprinting". IEEE Trans. Dependable Secur. Comput. 11 (5) (2014)
Petr Matousek, Ondrej Rysavý, Matej Grégr, Martin Vymlátil
Towards Identification of Operating Systems from the Internet Traffic - IPFIX Monitoring with Fingerprinting and Clustering. DCNET (2014)
Petr Matousek, Ondrej Rysavý, Martin Kmet
Fast RTP Detection and Codecs Classification in Internet Traffic. J. Digit. Forensics Secur. Law 9 (2) (2014)
Vladimír Veselý, Petr Matousek, Miroslav Svéda
Multicast simulation and modeling in OMNeT++. SimuTools (2013)
Libor Polcak, Martin Holkovic, Petr Matousek
Host Identity Detection in IPv6 Networks. ICETE (Selected Papers) (2013)
Libor Polcak, Martin Holkovic, Petr Matousek
A New Approach for Detection of Host Identity in IPv6 Networks. DCNET/ICE-B/OPTICS (2013)
Gayan de Silva, Ondrej Rysavý, Petr Matousek, Miroslav Svéda
On formal reachability analysis in networks with dynamic behavior. Telecommun. Syst. 52 (2) (2013)
Matej Grégr, Petr Matousek, Miroslav Svéda, Tomas Podermanski
Practical IPv6 monitoring-challenges and techniques. Integrated Network Management (2011)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Reachability Analysis in Dynamically Routed Networks. ECBS (2011)
Miroslav Svéda, Ondrej Rysavý, Petr Matousek, Jaroslav Ráb, Rudolf Cejka
Security Analysis of TCP/IP Networks - An Approach to Automatic Analysis of Network Security Properties. DCNET/OPTICS (2010)
Miroslav Svéda, Ondrej Rysavý, Gayan de Silva, Petr Matousek, Jaroslav Ráb
Static Analysis of Routing and Firewall Policy Configurations. ICETE (Selected Papers) (2010)
Petr Matousek, Ondrej Rysavý, Gayan de Silva, Martin Danko
Combination of simulation and formal methods to analyse network survivability. SimuTools (2010)
Gayan de Silva, Petr Matousek, Ondrej Rysavý, Miroslav Svéda
Formal analysis approach on networks with dynamic behaviours. ICUMT (2010)
Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda
A Formal Model for Network-Wide Security Analysis. ECBS (2008)
Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák
Verifying VHDL Designs with Multiple Clocks in SMV. FMICS/PDMC (2006)
Petr Matousek, Ales Smrcka, Tomás Vojnar
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. CHARME (2005)
Petr Matousek
Tools for Parametric Verification. A Comparison on a Case Study. J. Univers. Comput. Sci. 10 (10) (2004)
Petr Matousek
Verification of Workflow Specification Standards. ICEIS Doctoral Consortium (2003)