Stefan Nagy (@snagycs) 's Twitter Profile
Stefan Nagy

@snagycs

Faculty @uutah.
My lab hunts bugs: futures.cs.utah.edu/bugs.
Mastodon: [email protected]
Bluesky: snagycs.bsky.social

ID: 1034454808281993217

linkhttp://cs.utah.edu/~snagy calendar_today28-08-2018 14:57:00

1,1K Tweet

1,1K Takipçi

1,1K Takip Edilen

Stefan Nagy (@snagycs) 's Twitter Profile Photo
Stefan Nagy
@snagycs

3 months ago

Awesome job by my PhD student gabe sherman presenting his work on Oracle-guided C Fuzzing Harness Generation! ICSE TLDR; 41 new bugs (40 now patched)... with 0 false positives! Paper: futures.cs.utah.edu/papers/25ICSE-… Slides: futures.cs.utah.edu/papers/25ICSE-… Code: github.com/FuturesLab/OGH…

Awesome job by my PhD student <a href="/gabe_sherman6/">gabe sherman</a> presenting his work on Oracle-guided C Fuzzing Harness Generation! <a href="/ICSEconf/">ICSE</a> TLDR; 41 new bugs (40 now patched)... with 0 false positives! Paper: futures.cs.utah.edu/papers/25ICSE-… Slides: futures.cs.utah.edu/papers/25ICSE-… Code: github.com/FuturesLab/OGH…