14 citations · 26 across the 10 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…