{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VQVPKUH6PSMAS66ODNUVLPV5QR","short_pith_number":"pith:VQVPKUH6","canonical_record":{"source":{"id":"1801.01612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-05T02:21:14Z","cross_cats_sorted":[],"title_canon_sha256":"53f9b170ec73602c3e303366ffe630aa15d308be39e4018f09e23d0cbd427d27","abstract_canon_sha256":"0a1cc009a2fe554fa5b2f9bb92a8670a58fd4a05f9d586eb4734dfd8e3262acf"},"schema_version":"1.0"},"canonical_sha256":"ac2af550fe7c98097bce1b6955bebd84731e655bfedcf97181dc0b28c6cf2c45","source":{"kind":"arxiv","id":"1801.01612","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.01612","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"arxiv_version","alias_value":"1801.01612v1","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.01612","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"pith_short_12","alias_value":"VQVPKUH6PSMA","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VQVPKUH6PSMAS66O","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VQVPKUH6","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VQVPKUH6PSMAS66ODNUVLPV5QR","target":"record","payload":{"canonical_record":{"source":{"id":"1801.01612","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-05T02:21:14Z","cross_cats_sorted":[],"title_canon_sha256":"53f9b170ec73602c3e303366ffe630aa15d308be39e4018f09e23d0cbd427d27","abstract_canon_sha256":"0a1cc009a2fe554fa5b2f9bb92a8670a58fd4a05f9d586eb4734dfd8e3262acf"},"schema_version":"1.0"},"canonical_sha256":"ac2af550fe7c98097bce1b6955bebd84731e655bfedcf97181dc0b28c6cf2c45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:41.626725Z","signature_b64":"WJKeKlBnsbJUCR3j0kNKQXbpEP/ByNfbN8NfLWi2LKgQpuUpvUEJTKd1cWhI78T8DipXqE+ksYDhc6gBQYTZAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ac2af550fe7c98097bce1b6955bebd84731e655bfedcf97181dc0b28c6cf2c45","last_reissued_at":"2026-05-18T00:26:41.626205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:41.626205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.01612","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:26:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nyrNp5r8WR5SaUfKmgm5TQCuyvAB1b3Fq0jNmzioHqdGWi6RWv2a9C5ZNWSHK9mpS2mQVba/qVpLAKPMQ4/9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T15:16:49.388185Z"},"content_sha256":"0e2cf087eee993ff7b023ad3a349f0090149e5255162c59a720fa04acc8654f8","schema_version":"1.0","event_id":"sha256:0e2cf087eee993ff7b023ad3a349f0090149e5255162c59a720fa04acc8654f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VQVPKUH6PSMAS66ODNUVLPV5QR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Secrecy by Witness-Functions under Equational Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Jaouhar Fattahi, Mohamed Mejri","submitted_at":"2018-01-05T02:21:14Z","abstract_excerpt":"In this paper, we use the witness-functions to analyze cryptographic protocols for secrecy under nonempty equational theories. The witness-functions are safe metrics used to compute security. An analysis with a witness-function consists in making sure that the security of every atomic message does not decrease during its lifecycle in the protocol. The analysis gets more difficult under nonempty equational theories. Indeed, the intruder can take advantage of the algebraic properties of the cryptographic primitives to derive secrets. These properties arise from the use of mathematical functions,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.01612","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:26:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dW5vjuGOHGSKPhTt9UnPp3GxBVOb0F+EWKgmejeuk1xVHMQlV9/Ot5PT2l4JYljgQPUHZxwKm0ul/HyHEjIqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T15:16:49.388564Z"},"content_sha256":"84c4a4f81b321692e87f6b080d678a5cb417a8c308aef244f14e3292835e2aa7","schema_version":"1.0","event_id":"sha256:84c4a4f81b321692e87f6b080d678a5cb417a8c308aef244f14e3292835e2aa7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/bundle.json","state_url":"https://pith.science/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/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-27T15:16:49Z","links":{"resolver":"https://pith.science/pith/VQVPKUH6PSMAS66ODNUVLPV5QR","bundle":"https://pith.science/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/bundle.json","state":"https://pith.science/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VQVPKUH6PSMAS66ODNUVLPV5QR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VQVPKUH6PSMAS66ODNUVLPV5QR","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":"0a1cc009a2fe554fa5b2f9bb92a8670a58fd4a05f9d586eb4734dfd8e3262acf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-05T02:21:14Z","title_canon_sha256":"53f9b170ec73602c3e303366ffe630aa15d308be39e4018f09e23d0cbd427d27"},"schema_version":"1.0","source":{"id":"1801.01612","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.01612","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"arxiv_version","alias_value":"1801.01612v1","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.01612","created_at":"2026-05-18T00:26:41Z"},{"alias_kind":"pith_short_12","alias_value":"VQVPKUH6PSMA","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VQVPKUH6PSMAS66O","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VQVPKUH6","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:84c4a4f81b321692e87f6b080d678a5cb417a8c308aef244f14e3292835e2aa7","target":"graph","created_at":"2026-05-18T00:26:41Z","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":"In this paper, we use the witness-functions to analyze cryptographic protocols for secrecy under nonempty equational theories. The witness-functions are safe metrics used to compute security. An analysis with a witness-function consists in making sure that the security of every atomic message does not decrease during its lifecycle in the protocol. The analysis gets more difficult under nonempty equational theories. Indeed, the intruder can take advantage of the algebraic properties of the cryptographic primitives to derive secrets. These properties arise from the use of mathematical functions,","authors_text":"Jaouhar Fattahi, Mohamed Mejri","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-05T02:21:14Z","title":"Secrecy by Witness-Functions under Equational Theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.01612","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:0e2cf087eee993ff7b023ad3a349f0090149e5255162c59a720fa04acc8654f8","target":"record","created_at":"2026-05-18T00:26:41Z","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":"0a1cc009a2fe554fa5b2f9bb92a8670a58fd4a05f9d586eb4734dfd8e3262acf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-01-05T02:21:14Z","title_canon_sha256":"53f9b170ec73602c3e303366ffe630aa15d308be39e4018f09e23d0cbd427d27"},"schema_version":"1.0","source":{"id":"1801.01612","kind":"arxiv","version":1}},"canonical_sha256":"ac2af550fe7c98097bce1b6955bebd84731e655bfedcf97181dc0b28c6cf2c45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac2af550fe7c98097bce1b6955bebd84731e655bfedcf97181dc0b28c6cf2c45","first_computed_at":"2026-05-18T00:26:41.626205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:41.626205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WJKeKlBnsbJUCR3j0kNKQXbpEP/ByNfbN8NfLWi2LKgQpuUpvUEJTKd1cWhI78T8DipXqE+ksYDhc6gBQYTZAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:41.626725Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.01612","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e2cf087eee993ff7b023ad3a349f0090149e5255162c59a720fa04acc8654f8","sha256:84c4a4f81b321692e87f6b080d678a5cb417a8c308aef244f14e3292835e2aa7"],"state_sha256":"6c4a12b36ca0b68bb975a051034b4c435d36c680f4c292459bc65b3bc1a123a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IaolWJFIQv22e98JBrjLtSwN/78b2kwtAWY4JPxuMdiEwFGteDIsjkhS17ahwyf64Tx5PpBoP1yxGdcBEi8wCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T15:16:49.390466Z","bundle_sha256":"55cd205fb0dffc70aafa715b0baca4126fb9de093fc91195fba4062740374675"}}