@unpublished(Champelovier-Clerc-Garavel-et-al-10-v6.7, author = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Christine McKinty and Vincent Powazny and Fr\'ed\'eric Lang and Wendelin Serwe and Gideon Smeding}, year = {2017}, title = {{Reference Manual of the LNT to LOTOS Translator (Version 6.7)}}, url = {http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html}, note = {{INRIA/VASY} and {INRIA/CONVECS}, 130 pages}, ) @inproceedings(Davies-85, author = {Donald W. Davies}, year = {1985}, title = {{A Message Authenticator Algorithm Suitable for a Mainframe Computer}}, editor = {G. R. Blakley and David Chaum}, booktitle = {Advances in Cryptology -- Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques (CRYPTO'84), Santa Barbara, CA, USA}, series = {Lecture Notes in Computer Science}, volume = {196}, publisher = {Springer}, pages = {393--400}, doi = {10.1007/3-540-39568-7_30}, ) @techreport(Davies-Clayden-83, author = {Donald W. Davies and David O. Clayden}, year = {1983}, title = {{A Message Authenticator Algorithm Suitable for a Mainframe Computer}}, type = {NPL Report DITC}, number = {17/83}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, ) @techreport(Davies-Clayden-88, author = {Donald W. Davies and David O. Clayden}, year = {1988}, title = {{The Message Authenticator Algorithm (MAA) and its Implementation}}, type = {NPL Report DITC}, number = {109/88}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, url = {http://www.cix.co.uk/~klockstone/maa.pdf}, ) @inproceedings(Duran-Roldan-Bach-10, author = {Francisco Dur{\'{a}}n and Manuel Rold{\'{a}}n and Jean{-}Christophe Bach and Emilie Balland and Mark van den Brand and James R. Cordy and Steven Eker and Luc Engelen and Maartje de Jonge and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Eelco Visser}, year = {2010}, title = {{The Third Rewrite Engines Competition}}, editor = {Peter Csaba {\"{O}}lveczky}, booktitle = {Proceedings of the 8th International Workshop on Rewriting Logic and Its Applications (WRLA'10), Paphos, Cyprus}, series = {Lecture Notes in Computer Science}, volume = {6381}, publisher = {Springer}, pages = {243--261}, doi = {10.1007/978-3-642-16310-4_16}, ) @article(Duran-Roldan-Balland-et-al-09, author = {Francisco Dur{\'{a}}n and Manuel Rold{\'{a}}n and Emilie Balland and Mark van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Schevchenko and Eelco Visser}, year = {2009}, title = {{The Second Rewrite Engines Competition}}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {238}, number = {3}, pages = {281--291}, doi = {10.1016/j.entcs.2009.05.025}, ) @book(Ehrig-Mahr-85, author = {Hartmut Ehrig and Bernd Mahr}, year = {1985}, title = {{Fundamentals of Algebraic Specification 1 -- Equations and Initial Semantics}}, series = {EATCS Monographs on Theoretical Computer Science}, volume = {6}, publisher = {Springer}, doi = {10.1007/978-3-642-69962-7}, ) @inproceedings(Garavel-89-c, author = {Hubert Garavel}, year = {1989}, title = {{Compilation of LOTOS Abstract Data Types}}, editor = {Son T. Vuong}, booktitle = {Proceedings of the 2nd International Conference on Formal Description Techniques {FORTE}'89 (Vancouver B.C., Canada)}, publisher = {North-Holland}, pages = {147--162}, url = {http://cadp.inria.fr/publications/Garavel-89-c.html}, ) @article(Garavel-15-b, author = {Hubert Garavel}, year = {2015}, title = {{Revisiting Sequential Composition in Process Calculi}}, journal = {Journal of Logical and Algebraic Methods in Programming}, volume = {84}, number = {6}, pages = {742--762}, doi = {10.1016/j.jlamp.2015.08.001}, ) @article(Garavel-Lang-Mateescu-Serwe-13, author = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu and Wendelin Serwe}, year = {2013}, title = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}}, journal = {Springer International Journal on Software Tools for Technology Transfer (STTT)}, volume = {15}, number = {2}, pages = {89--107}, doi = {10.1007/s10009-012-0244-z}, url = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html}, ) @inproceedings(Garavel-Lang-Serwe-17, author = {Hubert Garavel and Fr\'ed\'eric Lang and Wendelin Serwe}, year = {2017}, title = {{From LOTOS to LNT}}, editor = {Joost-Pieter Katoen and Rom Langerak and Arend Rensink}, booktitle = {ModelEd, TestEd, TrustEd -- Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10500}, publisher = {Springer}, pages = {3--26}, doi = {10.1007/978-3-319-68270-9_1}, ) @inproceedings(Garavel-Marsso-17, author = {Hubert Garavel and Lina Marsso}, year = {2017}, title = {{A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm}}, editor = {Holger Hermanns and Peter H\"{o}fner}, booktitle = {Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), Uppsala, Sweden}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {244}, pages = {129--183}, doi = {10.4204/EPTCS.244.6}, ) @inproceedings(Garavel-Turlier-93, author = {Hubert Garavel and Philippe Turlier}, year = {1993}, title = {{C{\AE}SAR.ADT~: un compilateur pour les types abstraits alg\'ebriques du langage LOTOS}}, editor = {Rachida Dssouli and Gregor v. Bochmann}, booktitle = {Actes du Colloque Francophone pour l'Ing\'enierie des Protocoles (CFIP'93), Montr\'eal, Canada}, publisher = {Herm\`es}, address = {Paris}, pages = {325--339}, url = {http://cadp.inria.fr/publications/Garavel-Turlier-93.html}, ) @techreport(ISO-8730:1986, author = {ISO}, year = {1986}, title = {{Requirements for Message Authentication (Wholesale)}}, type = {International Standard}, number = {8730}, institution = {International Organization for Standardization -- Banking}, address = {Geneva}, ) @techreport(ISO-8731-2:1987, author = {ISO}, year = {1987}, title = {{Approved Algorithms for Message Authentication -- Part 2: Message Authenticator Algorithm (MAA)}}, type = {International Standard}, number = {8731-2}, institution = {International Organization for Standardization -- Banking}, address = {Geneva}, ) @techreport(ISO-8730:1990, author = {ISO}, year = {1990}, title = {{Requirements for Message Authentication (Wholesale)}}, type = {International Standard}, number = {8730}, institution = {International Organization for Standardization -- Banking}, address = {Geneva}, ) @techreport(ISO-8731-2:1992, author = {ISO}, year = {1992}, title = {{Approved Algorithms for Message Authentication -- Part 2: Message Authenticator Algorithm}}, type = {International Standard}, number = {8731-2}, institution = {International Organization for Standardization -- Banking}, address = {Geneva}, ) @techreport(ISO-8730:1999, author = {ISO}, year = {1999}, title = {{Requirements for Message Authentication (Wholesale)}}, type = {Technical Corrigendum~1}, number = {8730}, institution = {International Organization for Standardization -- Banking}, address = {Geneva}, ) @techreport(ISO-8807, author = {ISO/IEC}, year = {1989}, title = {{LOTOS -- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour}}, type = {International Standard}, number = {8807}, institution = {International Organization for Standardization -- Information Processing Systems -- Open Systems Interconnection}, address = {Geneva}, ) @techreport(Lai-91, author = {{M. K. F.} Lai}, year = {1991}, title = {{A Formal Interpretation of the MAA Standard in Z}}, type = {NPL Report DITC}, number = {184/91}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, ) @techreport(Lampard-91, author = {R. P. Lampard}, year = {1991}, title = {{An Implementation of MAA from a VDM Specification}}, type = {NPL Technical Memorandum DITC}, number = {50/91}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, ) @article(DeMeer-Roth-Vuong-92, author = {Jan de Meer and Rudolf Roth and Son Vuong}, year = {1992}, title = {{Introduction to Algebraic Specifications Based on the Language ACT ONE}}, journal = {Computer Networks and ISDN Systems}, volume = {23}, number = {5}, pages = {363--392}, doi = {10.1016/0169-7552(92)90013-G}, ) @book(Menezes-vanOorschot-Vanstone-96, author = {Alfred Menezes and Paul C. van Oorschot and Scott A. Vanstone}, year = {1996}, title = {{Handbook of Applied Cryptography}}, publisher = {CRC Press}, doi = {10.1201/9781439821916}, url = {http://cacr.uwaterloo.ca/hac}, ) @techreport(Munster-91-a, author = {Harold B. Munster}, year = {1991}, title = {{LOTOS Specification of the MAA Standard, with an Evaluation of LOTOS}}, type = {NPL Report DITC}, number = {191/91}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, url = {ftp://ftp.inrialpes.fr/pub/vasy/publications/others/Munster-91-a.pdf}, ) @techreport(Parkin-ONeill-90, author = {Graeme I. Parkin and G. O'Neill}, year = {1990}, title = {{Specification of the MAA Standard in VDM}}, type = {NPL Report DITC}, number = {160/90}, institution = {National Physical Laboratory}, address = {Teddington, Middlesex, UK}, ) @inproceedings(Parkin-ONeill-91, author = {Graeme I. Parkin and G. O'Neill}, year = {1991}, title = {{Specification of the MAA Standard in VDM}}, editor = {S{\o}ren Prehn and W. J. Toetenel}, booktitle = {Formal Software Development -- Proceedings (Volume 1) of the 4th International Symposium of VDM Europe (VDM'91), Noordwijkerhout, The Netherlands}, series = {Lecture Notes in Computer Science}, volume = {551}, publisher = {Springer}, pages = {526--544}, doi = {10.1007/3-540-54834-3_31}, ) @inproceedings(Preneel-97, author = {Bart Preneel}, year = {1997}, title = {{Cryptanalysis of Message Authentication Codes}}, editor = {Eiji Okamoto and George I. Davida and Masahiro Mambo}, booktitle = {Proceedings of the 1st International Workshop on Information Security (ISW'97), Tatsunokuchi, Japan}, series = {Lecture Notes in Computer Science}, volume = {1396}, publisher = {Springer}, pages = {55--65}, doi = {10.1007/BFb0030408}, url = {http://www.cosic.esat.kuleuven.be/publications/article-61.pdf}, ) @incollection(Preneel-11, author = {Bart Preneel}, year = {2011}, title = {{MAA}}, editor = {Henk C. A. van Tilborg and Sushil Jajodia}, booktitle = {Encyclopedia of Cryptography and Security (2nd Edition)}, publisher = {Springer}, pages = {741--742}, doi = {10.1007/978-1-4419-5906-5_591}, ) @inproceedings(Preneel-vanOorschot-95, author = {Bart Preneel and Paul C. van Oorschot}, year = {1995}, title = {{MDx-MAC and Building Fast MACs from Hash Functions}}, editor = {Don Coppersmith}, booktitle = {Advances in Cryptology -- Proceedings of 15th Annual International Cryptology Conference (CRYPTO'95), Santa Barbara, CA, USA}, series = {Lecture Notes in Computer Science}, volume = {963}, publisher = {Springer}, pages = {1--14}, doi = {10.1007/3-540-44750-4_1}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.490.8595&rep=rep1&type=pdf}, ) @inproceedings(Preneel-vanOorschot-96, author = {Bart Preneel and Paul C. van Oorschot}, year = {1996}, title = {{On the Security of Two MAC Algorithms}}, editor = {Ueli M. Maurer}, booktitle = {Advances in Cryptology -- Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT'96), Saragossa, Spain}, series = {Lecture Notes in Computer Science}, volume = {1070}, publisher = {Springer}, pages = {19--32}, doi = {10.1007/3-540-68339-9_3}, ) @article(Preneel-vanOorschot-99, author = {Bart Preneel and Paul C. van Oorschot}, year = {1999}, title = {{On the Security of Iterated Message Authentication Codes}}, journal = {{IEEE} Transactions on Information Theory}, volume = {45}, number = {1}, pages = {188--199}, doi = {10.1109/18.746787}, ) @article(Preneel-Rumen-vanOorschot-97, author = {Bart Preneel and Vincent Rumen and Paul C. van Oorschot}, year = {1997}, title = {{Security Analysis of the Message Authenticator Algorithm (MAA)}}, journal = {European Transactions on Telecommunications}, volume = {8}, number = {5}, pages = {455--470}, doi = {10.1002/ett.4460080504}, ) @inproceedings(Rijmen-Preneel-DeWin-96, author = {Vincent Rijmen and Bart Preneel and {De Win}, Erik}, year = {1996}, title = {{Key Recovery and Collision Clusters for MAA}}, booktitle = {Proceedings of the 1st International Conference on Security in Communication Networks (SCN'96)}, url = {https://www.cosic.esat.kuleuven.be/publications/article-437.pdf}, )