Hubert Garavel et Lina Marsso
Article de revue (2017)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| Organismes subventionnaires: | National Physical Laboratory |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/73868/ |
| Nom de la conférence: | 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017) |
| Lieu de la conférence: | Uppala, Sweden |
| Date(s) de la conférence: | 2017-04-29 |
| Titre de la revue: | Electronic Proceedings in Theoretical Computer Science (vol. 244) |
| Maison d'édition: | Open Publishing Association |
| DOI: | 10.4204/eptcs.244.6 |
| URL officielle: | https://doi.org/10.4204/eptcs.244.6 |
| Date du dépôt: | 05 mai 2026 14:09 |
| Dernière modification: | 05 mai 2026 14:09 |
| Citer en APA 7: | Garavel, H., & Marsso, L. (2017). A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. [Présentation]. Electronic Proceedings in Theoretical Computer Science, 244, 129-183. Présentée à 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppala, Sweden. https://doi.org/10.4204/eptcs.244.6 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
