There are a lot of groups working in this area. I'm going to pitch ours first, and then also point you to some others! My colleagues and I run the SEFCOM lab at Arizona State University (https://sefcom.asu.edu/). Most…
You didn't approach us, either; bummer! I doubt we'd have been down to team up outright, but maybe some of you guys could have done an internship in our lab if you really wanted to work on the CGC? I guess it's ancient…
It's impressive how many resources you threw at problem! We (Shellphish) had very similar results by using AFL [4] for fuzzing and angr [5] for symbolic execution (we published our approach at NDSS in February [1]) on…
There are a lot of groups working in this area. I'm going to pitch ours first, and then also point you to some others! My colleagues and I run the SEFCOM lab at Arizona State University (https://sefcom.asu.edu/). Most…
You didn't approach us, either; bummer! I doubt we'd have been down to team up outright, but maybe some of you guys could have done an internship in our lab if you really wanted to work on the CGC? I guess it's ancient…
It's impressive how many resources you threw at problem! We (Shellphish) had very similar results by using AFL [4] for fuzzing and angr [5] for symbolic execution (we published our approach at NDSS in February [1]) on…