Cong Sun

Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition

2017

Information flow security has been considered as a critical requirement on complicated component-based software. The recent efforts on the compositional information flow analyses were limited on the expressiveness of security lattice and the efficiency of …

BinPointer: towards precise, sound, and scalable binary-level pointer analysis

2022

Binary-level pointer analysis is critical to binary-level applications such as reverse engineering and binary debloating. In this paper, we propose BinPointer, a new binary-level interprocedural pointer analysis that relies on an offset-sensitive value-tracking analysis to …