research
∙
09/10/2023
SYSPART: Automated Temporal System Call Filtering for Binaries
Restricting the system calls available to applications reduces the attac...
share
research
∙
03/14/2022
Building Embedded Systems Like It's 1996
Embedded devices are ubiquitous. However, preliminary evidence shows tha...
research
∙
05/11/2021
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended)
There is increasing interest in applying verification tools to programs ...
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
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask
Disassembly of binary code is hard, but necessary for improving the secu...
research
∙
10/10/2018
Redirect2Own: Protecting the Intellectual Property of User-uploaded Content through Off-site Indirect Access
Social networking services have attracted millions of users, including i...
research
∙
10/05/2018