Now showing items 1-2 of 2
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection
(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)
(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 ...