Differential Attacks by Algebraic Solving on a Series of HE‐Friendly Stream Ciphers | Synapse