TrABin: Trustworthy analyses of binaries

Andreas Lindner, Roberto Guanciale, Roberto Metere. TrABin: Trustworthy analyses of binaries. Science of Computer Programming, 174:72-89, 2019. [doi]

Authors

Andreas Lindner

This author has not been identified. Look up 'Andreas Lindner' in Google

Roberto Guanciale

This author has not been identified. Look up 'Roberto Guanciale' in Google

Roberto Metere

This author has not been identified. Look up 'Roberto Metere' in Google