CPC H04L 9/30 (2013.01) [G06N 20/00 (2019.01)] | 20 Claims |
1. A method of decrypting or partially decrypting an encoded message or a private key, the encoded message or private key encoded by a public-key cryptography algorithm, the method comprising:
encoding the public-key cryptography algorithm using a language of a program synthesizer;
constructing a grammar for the program synthesizer;
training the program synthesizer with training data comprising input-output pairs;
executing the trained program synthesizer to generate a synthesized mathematical formula;
validating the generated synthesized mathematical formula; and
performing the decrypting using the validated synthesized mathematical formula.
|