research
∙
05/11/2021
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
There is increasing interest in applying verification tools to programs ...
share
research
∙
04/07/2021
Towards Optimal Use of Exception Handling Information for Function Detection
Function entry detection is critical for security of binary code. Conven...
research
∙
07/28/2020
