Puneet Mehrotra
Puneet Mehrotra
Home
Projects
Publications
Talks
Experience
CV
Service
Formal Verification
Analysing Snort with KLEE
Understanding usability of KLEE by trying to analyse a large Intrusion Detection System
Cite
×