4 citations · 4 across the 2 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
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…