13 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Andreas Lindner, Roberto Guanciale, Roberto Metere
Verification of microkernels, device drivers, and crypto routines requires analyses at the binary level. In order to automate these analyses, in the last years several binary analy…