20 citations · 44 across the 12 of their papers we have counts for
1 paper · 2 filters
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…