Efficient Detection of High Probability Statistical Properties of Cryptosystems via Surrogate Differentiation