81 citations · 102 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 81 cited
Not all bytes are equal: Neural byte sieve for fuzzing
Mohit Rajpal, William Blum, Rishabh Singh
Fuzzing is a popular dynamic program analysis technique used to find vulnerabilities in complex software. Fuzzing involves presenting a target program with crafted malicious input…
cs.LO2017★ 1 cited
Type homogeneity is not a restriction for safe recursion schemes
William Blum
Knapik et al. introduced the safety restriction which constrains both the types and syntax of the production rules defining a higher-order recursion scheme. This restriction gives…