A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm

Hubert Garavel, Lina Marsso

We present a term rewrite system that formally models the Message Authenticator Algorithm (MAA), which was one of the first cryptographic functions for computing a Message Authenti…