{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:JU5QSR6Q7YLSR6LW52R2SDK2EU","short_pith_number":"pith:JU5QSR6Q","canonical_record":{"source":{"id":"1803.10322","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-27T20:58:44Z","cross_cats_sorted":["cs.CR","cs.SE"],"title_canon_sha256":"fc63a6dc867eb053f8f7cf8ad0a66ad94266e445739b9ae10396cb6bb57ce649","abstract_canon_sha256":"0fa14e84c60e99e175ee94914a31ecbf157df5957cc7526eab0853d941092977"},"schema_version":"1.0"},"canonical_sha256":"4d3b0947d0fe1728f976eea3a90d5a2534b4d0e420f27e0ba3b1f75e00068045","source":{"kind":"arxiv","id":"1803.10322","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10322","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10322v1","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10322","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"pith_short_12","alias_value":"JU5QSR6Q7YLS","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JU5QSR6Q7YLSR6LW","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JU5QSR6Q","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:JU5QSR6Q7YLSR6LW52R2SDK2EU","target":"record","payload":{"canonical_record":{"source":{"id":"1803.10322","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-27T20:58:44Z","cross_cats_sorted":["cs.CR","cs.SE"],"title_canon_sha256":"fc63a6dc867eb053f8f7cf8ad0a66ad94266e445739b9ae10396cb6bb57ce649","abstract_canon_sha256":"0fa14e84c60e99e175ee94914a31ecbf157df5957cc7526eab0853d941092977"},"schema_version":"1.0"},"canonical_sha256":"4d3b0947d0fe1728f976eea3a90d5a2534b4d0e420f27e0ba3b1f75e00068045","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:55.818199Z","signature_b64":"gD4RgLSo4+4WiEyxXecuR/vbOv5gibeR7TAH2404cjrw680GK7yIwzpgCQZGkXxcrPq/Nab1Lo9xqTrNWWS+Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d3b0947d0fe1728f976eea3a90d5a2534b4d0e420f27e0ba3b1f75e00068045","last_reissued_at":"2026-05-18T00:19:55.817471Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:55.817471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.10322","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:19:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2px0vR6cIcRdkF2ha4qOXrSRqS73p+4ncdwg98UX3oYfl40TXtzHGbyHyF3kCjyv1lKbEMECqKxVjYXPQux9DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T14:35:01.799665Z"},"content_sha256":"1dc758829b8b58974d6693babc20a6887fed3c028d7f3c063227bf71c98b0e20","schema_version":"1.0","event_id":"sha256:1dc758829b8b58974d6693babc20a6887fed3c028d7f3c063227bf71c98b0e20"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:JU5QSR6Q7YLSR6LW52R2SDK2EU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.SE"],"primary_cat":"cs.PL","authors_text":"Hubert Garavel, Lina Marsso","submitted_at":"2018-03-27T20:58:44Z","abstract_excerpt":"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 international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. In 1990 and 1991, three formal, yet non-executable, specifications of the MAA (in VDM, Z, and LOTOS) were developed at NPL. Since then, five formal executable specifications of the MAA (in LOTOS, LNT, and term rewrite systems) have been designed at INRIA Grenoble. This article provides an overview of the M"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10322","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:19:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fcCmMFwxe88yzt7mfs+MCcFifeZX7L9Dn1y1IrRU6T1QF+4ir2ok8yCofZKNIsXJGkDn+aqtdoq/iMZigdsgCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T14:35:01.800002Z"},"content_sha256":"3814f509fc013dc816e321eaade6a92697a594fa580dd5e58e74bfb427232d82","schema_version":"1.0","event_id":"sha256:3814f509fc013dc816e321eaade6a92697a594fa580dd5e58e74bfb427232d82"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/bundle.json","state_url":"https://pith.science/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-24T14:35:01Z","links":{"resolver":"https://pith.science/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU","bundle":"https://pith.science/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/bundle.json","state":"https://pith.science/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JU5QSR6Q7YLSR6LW52R2SDK2EU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JU5QSR6Q7YLSR6LW52R2SDK2EU","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0fa14e84c60e99e175ee94914a31ecbf157df5957cc7526eab0853d941092977","cross_cats_sorted":["cs.CR","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-27T20:58:44Z","title_canon_sha256":"fc63a6dc867eb053f8f7cf8ad0a66ad94266e445739b9ae10396cb6bb57ce649"},"schema_version":"1.0","source":{"id":"1803.10322","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10322","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10322v1","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10322","created_at":"2026-05-18T00:19:55Z"},{"alias_kind":"pith_short_12","alias_value":"JU5QSR6Q7YLS","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JU5QSR6Q7YLSR6LW","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JU5QSR6Q","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:3814f509fc013dc816e321eaade6a92697a594fa580dd5e58e74bfb427232d82","target":"graph","created_at":"2026-05-18T00:19:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"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 international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. In 1990 and 1991, three formal, yet non-executable, specifications of the MAA (in VDM, Z, and LOTOS) were developed at NPL. Since then, five formal executable specifications of the MAA (in LOTOS, LNT, and term rewrite systems) have been designed at INRIA Grenoble. This article provides an overview of the M","authors_text":"Hubert Garavel, Lina Marsso","cross_cats":["cs.CR","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-27T20:58:44Z","title":"Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10322","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1dc758829b8b58974d6693babc20a6887fed3c028d7f3c063227bf71c98b0e20","target":"record","created_at":"2026-05-18T00:19:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0fa14e84c60e99e175ee94914a31ecbf157df5957cc7526eab0853d941092977","cross_cats_sorted":["cs.CR","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-03-27T20:58:44Z","title_canon_sha256":"fc63a6dc867eb053f8f7cf8ad0a66ad94266e445739b9ae10396cb6bb57ce649"},"schema_version":"1.0","source":{"id":"1803.10322","kind":"arxiv","version":1}},"canonical_sha256":"4d3b0947d0fe1728f976eea3a90d5a2534b4d0e420f27e0ba3b1f75e00068045","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d3b0947d0fe1728f976eea3a90d5a2534b4d0e420f27e0ba3b1f75e00068045","first_computed_at":"2026-05-18T00:19:55.817471Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:55.817471Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gD4RgLSo4+4WiEyxXecuR/vbOv5gibeR7TAH2404cjrw680GK7yIwzpgCQZGkXxcrPq/Nab1Lo9xqTrNWWS+Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:55.818199Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.10322","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1dc758829b8b58974d6693babc20a6887fed3c028d7f3c063227bf71c98b0e20","sha256:3814f509fc013dc816e321eaade6a92697a594fa580dd5e58e74bfb427232d82"],"state_sha256":"b1b1b12a1c5cf16270021ed2692bd9cc533e713d30b1f24e60f3555d2c43572c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BrPapz+0dNPyyRuRFhKqMIJwUtJX6e6xma5uJlRuYlIEZI7yIBlmoyrHgr3Ojd+cCigFNE5YKjMcBKyLvWBRCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T14:35:01.801943Z","bundle_sha256":"782d3bd859c4a693ab0680ed2728839f88e9578fd90cf65bb24b9369d9a5cfb9"}}