Automated identification of cryptographic primitives in binary programs
A fast algorithm for finding dominators in a flowgraph