Logical cryptanalysis as a SAT problem: Encoding and analysis of the U.S. data encryption standard

Computer Science

• Cryptographic Algorithm 100%
• Cryptanalysis 100%
• Data Encryption Standard 100%
• Reasoning 33%
• Attack 33%
• Algorithms 33%
• Utmost Importance 33%
• Automated Reasoning 33%
• Real-World Problem 33%
• Automated Theorem Proving 33%
• Boolean Formula 33%
• Model 33%
• Case Study 33%
• Benchmark 33%
• Closure 33%
• Computer Security 33%