Text this: Differential Attacks by Algebraic Solving on a Series of HE‐Friendly Stream Ciphers.