Vojtěch Havlena

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

Approximate reduction of finite automata for high-speed network intrusion detection

Milan Češka, Vojtěch Havlena, Lukáš Holík et al. · International Journal on Software Tools for Technology Transfer · 2019 · 17 citations

Hardware Security, Network Flows, Approximate Reduction +11

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

Solving String Constraints with Lengths by Stabilization

Yu‐Fang Chen, David Chocholatý, Vojtěch Havlena et al. · Proceedings of the ACM on Programming Languages · 2023 · 16 citations · Full text

Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata

Petr Matoušek, Vojtěch Havlena, Lukáš Holík · Integrated Network Management · 2021 · 14 citations