Automatic Forgery of Cryptographically Consistent Messages to Identify Security Vulnerabilities in Mobile Services
Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution