Reformat: Automatic Reverse Engineering of Encrypted Messages
Tupni: automatic reverse engineering of input formats