4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…