Describir: Cube-Type Algebraic Attacks on Wireless Encryption Protocols.