analysis :: paper

1.Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs

post-thumbnail

2.Sensitive Information Tracking in Commodity IoT_SAINT

post-thumbnail

3.A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

post-thumbnail

4.Your Firmware Has Arrived: A Study of Firmware Update Vulnerabilities

post-thumbnail

5.Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths

post-thumbnail