2 citations · 2 across the 1 of their papers we have counts for
1 paper
Sébastien Bardin, Guillaume Girol
Many software analysis techniques attempt to determine whether bugs are reachable, but for security purpose this is only part of the story as it does not indicate whether the bugs…