BRUTUS is an alternative, fast testing framework for CAESAR ciphers.