[FOM] Arithmetical statements that apply to cryptography and are undecidable in PA

[Giovanni Lagnese]

Are there known examples of first-order arithmetical statements that apply 
to cryptography and are undecidable in PA?

GL