Browsing Ústav inteligentních systémů by Author "Vojnar, Tomáš"

Now showing items 1-2 of 2

Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection

Češka, Milan; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš (Springer Verlag, 2018-02-23)

We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

Šoková, Veronika; Peringer, Petr; Vojnar, Tomáš (Springer International Publishing, 2020-02-26)

This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ...