Petr Matousek

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