We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CR
< prev | next >
new | recent | 2004

Change to browse by:

cs
cs.PL

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Cryptography and Security

Title: Specifying a Cryptographical Protocol in Lustre and SCADE

Authors: Lina Marsso
(Submitted on 28 Apr 2020)
Abstract: 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 MAA was adopted between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2), to ensure the authenticity and integrity of banking transactions. This paper discusses the choices and the challenges of our MAA implementations. Our SCADE and Lustre models validate 201 official test vectors for the MAA.
Comments: In Proceedings MARS 2020, arXiv:2004.12403. arXiv admin note: text overlap with arXiv:1703.06573
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
Journal reference: EPTCS 316, 2020, pp. 149-199
DOI: 10.4204/EPTCS.316.7
Cite as: arXiv:2004.14212 [cs.CR]
  (or arXiv:2004.14212v1 [cs.CR] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 28 Apr 2020 04:23:44 GMT (229kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.