The Orchids Intrusion Detection Tool
No abstract available.
Related papers
- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection TACAS 2018
- Conservative vs. optimistic parallelization of stateful network intrusion detection PPoPP 2007
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Programming languages for programmable networks POPL 2012
- Building Intrusion-Tolerant Secure Software CGO 2005
- Probabilistic calling context OOPSLA 2007
- A Programmable Hardware Path Profiler CGO 2005
- Evaluating Indirect Branch Handling Mechanisms in Software Dynamic Translation Systems CGO 2007