4 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.CR2020
Specifying a Cryptographical Protocol in Lustre and SCADE
Lina Marsso
We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The…
cs.PL2018★ 1 cited
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
Hubert Garavel, Lina Marsso
The Message Authenticator Algorithm (MAA) is one of the first cryptographic functions for computing a Message Authentication Code. Between 1987 and 2001, the MAA was adopted in int…
cs.CR2017★ 4 cited
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…