Systems

Analysing Snort with KLEE
Understanding usability of KLEE by trying to analyse a large Intrusion Detection System
PDF