Oracle Corporation
Reusable Key Generated Cipher Text Decryption

Abstract:

Embodiments decrypt a list of ciphertexts by determining one or more constraints for plaintext messages that were converted to the list of ciphertexts using a block cipher when generating the ciphertexts. Embodiments model the constraints as an optimization problem and solve the optimization problem using one or more Satisfiability Modulo Theories ("SMT") solvers to generate an SMT solution, where the solution includes the plaintext messages.