{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OOTURSP6QNOR2HKC2U66ZLEGLX","short_pith_number":"pith:OOTURSP6","canonical_record":{"source":{"id":"1605.03932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-05-12T19:07:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"3b8c1d2be8223e676d7908c6cf8c4d8f6f03a0539b11cbb7082ed2067730a78d","abstract_canon_sha256":"6740d26fd0cbcd82e0a7dcda247133595068bd0d19c24b473abac59d3f1ccc84"},"schema_version":"1.0"},"canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","source":{"kind":"arxiv","id":"1605.03932","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03932","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03932v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03932","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"OOTURSP6QNOR","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OOTURSP6QNOR2HKC","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OOTURSP6","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OOTURSP6QNOR2HKC2U66ZLEGLX","target":"record","payload":{"canonical_record":{"source":{"id":"1605.03932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-05-12T19:07:25Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"3b8c1d2be8223e676d7908c6cf8c4d8f6f03a0539b11cbb7082ed2067730a78d","abstract_canon_sha256":"6740d26fd0cbcd82e0a7dcda247133595068bd0d19c24b473abac59d3f1ccc84"},"schema_version":"1.0"},"canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:59.192885Z","signature_b64":"7rzqiRVskuBmzeQvJT0hqbSDXS6e2KYxJDQYnTdJQSSRA7bo6nKExP7t07QAlpviArkLLdeMddpIMEOIq4uZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","last_reissued_at":"2026-05-18T01:14:59.192468Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:59.192468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.03932","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-18T01:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6qDIqbODiz89A/gj+OVx0yp2/Sig1vrwOeqsuIcpPRWn08QtmaFwbdISwXVPLjONQd4SL91s2pJtwWCHnnJhAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:24:13.786288Z"},"content_sha256":"458f7e5b83c825f69fe9dd65bbb03de6234376bf4f6de4528d08ad2d84b3b40d","schema_version":"1.0","event_id":"sha256:458f7e5b83c825f69fe9dd65bbb03de6234376bf4f6de4528d08ad2d84b3b40d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OOTURSP6QNOR2HKC2U66ZLEGLX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Secure and trusted white-box verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Alan Wassyng, George Karakostas, Yixian Cai","submitted_at":"2016-05-12T19:07:25Z","abstract_excerpt":"Verification is the process of checking whether a product has been implemented according to its prescribed specifications. We study the case of a designer (the developer) that needs to verify its design by a third party (the verifier), by making publicly available a limited amount of information about the design, namely a diagram of interconnections between the different design components, but not the components themselves or the intermediate values passed between components. We formalize this notion of limited information using tabular expressions as the description method for both the specif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03932","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-18T01:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BBzaKaI/mqr602sEx9J6mH7bV7YO7E4jO7Ff5G8zp7yimdAU9qhtvjknN0K/eHOTKTrTD21p5QNUuRfq7azgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:24:13.786639Z"},"content_sha256":"710094d3a68150815bdc1ff268c306d35119c7a44d4df0a91a20b53311b76ffc","schema_version":"1.0","event_id":"sha256:710094d3a68150815bdc1ff268c306d35119c7a44d4df0a91a20b53311b76ffc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/bundle.json","state_url":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/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-02T18:24:13Z","links":{"resolver":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX","bundle":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/bundle.json","state":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OOTURSP6QNOR2HKC2U66ZLEGLX","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":"6740d26fd0cbcd82e0a7dcda247133595068bd0d19c24b473abac59d3f1ccc84","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-05-12T19:07:25Z","title_canon_sha256":"3b8c1d2be8223e676d7908c6cf8c4d8f6f03a0539b11cbb7082ed2067730a78d"},"schema_version":"1.0","source":{"id":"1605.03932","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03932","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03932v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03932","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"OOTURSP6QNOR","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OOTURSP6QNOR2HKC","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OOTURSP6","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:710094d3a68150815bdc1ff268c306d35119c7a44d4df0a91a20b53311b76ffc","target":"graph","created_at":"2026-05-18T01:14:59Z","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":"Verification is the process of checking whether a product has been implemented according to its prescribed specifications. We study the case of a designer (the developer) that needs to verify its design by a third party (the verifier), by making publicly available a limited amount of information about the design, namely a diagram of interconnections between the different design components, but not the components themselves or the intermediate values passed between components. We formalize this notion of limited information using tabular expressions as the description method for both the specif","authors_text":"Alan Wassyng, George Karakostas, Yixian Cai","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-05-12T19:07:25Z","title":"Secure and trusted white-box verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03932","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:458f7e5b83c825f69fe9dd65bbb03de6234376bf4f6de4528d08ad2d84b3b40d","target":"record","created_at":"2026-05-18T01:14:59Z","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":"6740d26fd0cbcd82e0a7dcda247133595068bd0d19c24b473abac59d3f1ccc84","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2016-05-12T19:07:25Z","title_canon_sha256":"3b8c1d2be8223e676d7908c6cf8c4d8f6f03a0539b11cbb7082ed2067730a78d"},"schema_version":"1.0","source":{"id":"1605.03932","kind":"arxiv","version":1}},"canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","first_computed_at":"2026-05-18T01:14:59.192468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:59.192468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7rzqiRVskuBmzeQvJT0hqbSDXS6e2KYxJDQYnTdJQSSRA7bo6nKExP7t07QAlpviArkLLdeMddpIMEOIq4uZCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:59.192885Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.03932","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:458f7e5b83c825f69fe9dd65bbb03de6234376bf4f6de4528d08ad2d84b3b40d","sha256:710094d3a68150815bdc1ff268c306d35119c7a44d4df0a91a20b53311b76ffc"],"state_sha256":"e8a1cc1080398a178ab7f98bb06620d898d87b56f587d0cc66818256f1855a8c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XlGiKrUhwmebqYfSz4Z/4/xGrXIbTt9CNIkygsD9/ocj1sgc0HRiDNka4961oF1TA4Y8zAioL+JBRga1WllrBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T18:24:13.788529Z","bundle_sha256":"4b47cedbe4944cc33f2540dbff6a762b94c73132131a6c5891ddf1ade3b4c93a"}}