Petr Matoušek

A Formal Model for Network-Wide Security Analysis

Jaroslav Rab, Petr Matoušek, Ondřej Ryšavý et al. · 2008 · 45 citations

Engineering, Reachability Problem, Information Security +23

Flow based monitoring of ICS communication in the smart grid

Petr Matoušek, Ondřej Ryšavý, Matěj Grégr et al. · Journal of Information Security and Applications · 2020 · 23 citations

Electrical Engineering, Engineering, Smart Grid +8

Towards Identification of Operating Systems from the Internet Traffic - IPFIX Monitoring with Fingerprinting and Clustering

Petr Matoušek, Ondřej Ryšavý, Matěj Grégr et al. · 2014 · 20 citations · Full text

Internet Traffic Analysis, Ipfix Probe, Operating Systems +15

Comment on “Remote Physical Device Fingerprinting”

Libor Polčák, Jakub Jirasek, Petr Matoušek · IEEE Transactions on Dependable and Secure Computing · 2013 · 20 citations

Engineering, Biometric Privacy, Information Security +23

Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication

Vojtěch Havlena, Petr Matoušek, Ondřej Ryšavý et al. · IEEE Transactions on Smart Grid · 2022 · 17 citations

Engineering, Information Security, Verification +21