{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:N3RRFCMCH5YLIYM7K3U3A3SMTG","short_pith_number":"pith:N3RRFCMC","canonical_record":{"source":{"id":"2408.05997","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-08-12T08:47:19Z","cross_cats_sorted":[],"title_canon_sha256":"3870b8de7043589b6246e612e17cc8d2707353a1931b85cdff88098a10ebcd73","abstract_canon_sha256":"5f16c3d8b3001ccb62c6140915b1fe2b8b08f4fe21b645b2aa25c4f27fcc03da"},"schema_version":"1.0"},"canonical_sha256":"6ee31289823f70b4619f56e9b06e4c9993f3d59ec281e58402c4734a4f00ffd7","source":{"kind":"arxiv","id":"2408.05997","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.05997","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"arxiv_version","alias_value":"2408.05997v4","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.05997","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_12","alias_value":"N3RRFCMCH5YL","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_16","alias_value":"N3RRFCMCH5YLIYM7","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_8","alias_value":"N3RRFCMC","created_at":"2026-07-05T11:46:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:N3RRFCMCH5YLIYM7K3U3A3SMTG","target":"record","payload":{"canonical_record":{"source":{"id":"2408.05997","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-08-12T08:47:19Z","cross_cats_sorted":[],"title_canon_sha256":"3870b8de7043589b6246e612e17cc8d2707353a1931b85cdff88098a10ebcd73","abstract_canon_sha256":"5f16c3d8b3001ccb62c6140915b1fe2b8b08f4fe21b645b2aa25c4f27fcc03da"},"schema_version":"1.0"},"canonical_sha256":"6ee31289823f70b4619f56e9b06e4c9993f3d59ec281e58402c4734a4f00ffd7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:19.968874Z","signature_b64":"2ukbqEP9tOHGcbXX38MG1Wf/eGiZQjuJAhA+h7dB7qmQDd1k2oMhcZfKCIJ7Kry3ObL4xlwkGxDERmFeZ2Y7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ee31289823f70b4619f56e9b06e4c9993f3d59ec281e58402c4734a4f00ffd7","last_reissued_at":"2026-07-05T11:46:19.968390Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:19.968390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.05997","source_version":4,"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-07-05T11:46:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L8BYuD0P+nrxOC15JSKwaT88HA1qC2eAVjKjOUwpsoflTU4EgMCb36rhq1YH6hRn5IFELB8ObqLGiVo8vbIsBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:30:10.010965Z"},"content_sha256":"834b342b58727010c0f94340240376b539efdd3354c0a5dd6f2e8d3333767614","schema_version":"1.0","event_id":"sha256:834b342b58727010c0f94340240376b539efdd3354c0a5dd6f2e8d3333767614"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:N3RRFCMCH5YLIYM7K3U3A3SMTG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Formalization of Cryptographic Migration","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Christian N\\\"ather, Daniel Herzinger, Daniel Loebenberger, Eduard Hirsch, Jan-Philipp Stegh\\\"ofer, Stefan-Lukas Gazdag","submitted_at":"2024-08-12T08:47:19Z","abstract_excerpt":"We present a novel approach to gaining insight into the structure of cryptographic migration problems which are classic problems in applied cryptography. We use a formal model to capture the inherent dependencies and complexities of such transitions. Using classical mathematical results from combinatorics, probability theory, and combinatorial analysis, we evaluate the challenges of migrating large cryptographic IT infrastructures and prove that - in a suitable sense - cryptographic migration exhibits a certain expected complexity. We also provide numerical data for selected parameter sets. Fu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.05997","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.05997/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:46:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YUJyvIj2hLi6PHfNrQUUm4pWuVWGRsp1sEZzw14l0wnfA5/s8/sXn/wXWGd8oOMOsyeQgcfxHtMhVMi4PoqgBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T02:30:10.011984Z"},"content_sha256":"02f177566c479872ef40bbdfa3de9c81a0a120c9d93d0e622c0bff1f46a2dce1","schema_version":"1.0","event_id":"sha256:02f177566c479872ef40bbdfa3de9c81a0a120c9d93d0e622c0bff1f46a2dce1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/bundle.json","state_url":"https://pith.science/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/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-08-10T02:30:10Z","links":{"resolver":"https://pith.science/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG","bundle":"https://pith.science/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/bundle.json","state":"https://pith.science/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N3RRFCMCH5YLIYM7K3U3A3SMTG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:N3RRFCMCH5YLIYM7K3U3A3SMTG","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":"5f16c3d8b3001ccb62c6140915b1fe2b8b08f4fe21b645b2aa25c4f27fcc03da","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-08-12T08:47:19Z","title_canon_sha256":"3870b8de7043589b6246e612e17cc8d2707353a1931b85cdff88098a10ebcd73"},"schema_version":"1.0","source":{"id":"2408.05997","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.05997","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"arxiv_version","alias_value":"2408.05997v4","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.05997","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_12","alias_value":"N3RRFCMCH5YL","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_16","alias_value":"N3RRFCMCH5YLIYM7","created_at":"2026-07-05T11:46:19Z"},{"alias_kind":"pith_short_8","alias_value":"N3RRFCMC","created_at":"2026-07-05T11:46:19Z"}],"graph_snapshots":[{"event_id":"sha256:02f177566c479872ef40bbdfa3de9c81a0a120c9d93d0e622c0bff1f46a2dce1","target":"graph","created_at":"2026-07-05T11:46:19Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2408.05997/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel approach to gaining insight into the structure of cryptographic migration problems which are classic problems in applied cryptography. We use a formal model to capture the inherent dependencies and complexities of such transitions. Using classical mathematical results from combinatorics, probability theory, and combinatorial analysis, we evaluate the challenges of migrating large cryptographic IT infrastructures and prove that - in a suitable sense - cryptographic migration exhibits a certain expected complexity. We also provide numerical data for selected parameter sets. Fu","authors_text":"Christian N\\\"ather, Daniel Herzinger, Daniel Loebenberger, Eduard Hirsch, Jan-Philipp Stegh\\\"ofer, Stefan-Lukas Gazdag","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-08-12T08:47:19Z","title":"On the Formalization of Cryptographic Migration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.05997","kind":"arxiv","version":4},"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:834b342b58727010c0f94340240376b539efdd3354c0a5dd6f2e8d3333767614","target":"record","created_at":"2026-07-05T11:46:19Z","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":"5f16c3d8b3001ccb62c6140915b1fe2b8b08f4fe21b645b2aa25c4f27fcc03da","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-08-12T08:47:19Z","title_canon_sha256":"3870b8de7043589b6246e612e17cc8d2707353a1931b85cdff88098a10ebcd73"},"schema_version":"1.0","source":{"id":"2408.05997","kind":"arxiv","version":4}},"canonical_sha256":"6ee31289823f70b4619f56e9b06e4c9993f3d59ec281e58402c4734a4f00ffd7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ee31289823f70b4619f56e9b06e4c9993f3d59ec281e58402c4734a4f00ffd7","first_computed_at":"2026-07-05T11:46:19.968390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:19.968390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2ukbqEP9tOHGcbXX38MG1Wf/eGiZQjuJAhA+h7dB7qmQDd1k2oMhcZfKCIJ7Kry3ObL4xlwkGxDERmFeZ2Y7AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:19.968874Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.05997","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:834b342b58727010c0f94340240376b539efdd3354c0a5dd6f2e8d3333767614","sha256:02f177566c479872ef40bbdfa3de9c81a0a120c9d93d0e622c0bff1f46a2dce1"],"state_sha256":"c35e85c351565dc4fbc3b00784c2cea458744df7fa991d0f9bdfd4552e9f1a31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QaqbYTLx9DTyA1tl6sHpPnrKlNbyQWuxhqmo2f5hZ2+IyqZ1dS+E9WKO0QXzcMwto2qFWxt6/hYEVUywMTOHBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T02:30:10.020357Z","bundle_sha256":"e51c0ff866e9f2f47d0ee977024441dbaea2a284c989fda4f17aed4b5dd7bf7d"}}