@misc{indiciae5146c61be683,
  title = {Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm},
  author = {Hubert Garavel and Lina Marsso},
  year = {2018},
  doi = {10.4204/eptcs.268.2},
  url = {https://arxiv.org/abs/1803.10322},
  note = {Source identifier: 1803.10322}
}