2 citations · 2 across the 2 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Practical Type Inference: High-Throughput Recovery of Real-World Structures and Function Signatures
Lukas Seidel, Sam Thomas, Konrad Rieck
The recovery of types from stripped binaries is a key to exact decompilation, yet its practical realization suffers. For composite structures in particular, both layout and semanti…
cs.CR2021★ 2 cited
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
Chris McMahon Stone, Sam L. Thomas, Mathy Vanhoef +3
In this paper, we propose a new approach to infer state machine models from protocol implementations. Our method, STATEINSPECTOR, learns protocol states by using novel program anal…