{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:KAE4T6LAXLHN2D4UIJGKOQUM6V","short_pith_number":"pith:KAE4T6LA","canonical_record":{"source":{"id":"cs/0701187","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2007-01-29T17:09:17Z","cross_cats_sorted":[],"title_canon_sha256":"5a6242ab142497cc84ce326d096eba374cbae06f3028cc392597e3b054bb5d2f","abstract_canon_sha256":"24f8d2c17e1801baf5cb68146986f82b80c5a37bec4c0e47b3e734b5547a9f80"},"schema_version":"1.0"},"canonical_sha256":"5009c9f960bacedd0f94424ca7428cf5777296ecbdb4148db375e19d3a227b77","source":{"kind":"arxiv","id":"cs/0701187","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701187","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701187v2","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701187","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"KAE4T6LAXLHN","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"KAE4T6LAXLHN2D4U","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"KAE4T6LA","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:KAE4T6LAXLHN2D4UIJGKOQUM6V","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0701187","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2007-01-29T17:09:17Z","cross_cats_sorted":[],"title_canon_sha256":"5a6242ab142497cc84ce326d096eba374cbae06f3028cc392597e3b054bb5d2f","abstract_canon_sha256":"24f8d2c17e1801baf5cb68146986f82b80c5a37bec4c0e47b3e734b5547a9f80"},"schema_version":"1.0"},"canonical_sha256":"5009c9f960bacedd0f94424ca7428cf5777296ecbdb4148db375e19d3a227b77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:18.116693Z","signature_b64":"dg5D1Fjg669nsFK/f1k88DZAkiYlBGt60sMraOuIrDmBbY+QXtFpRd+zwtQgvQ/bF3izWs+BrRf+2wQziclwDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5009c9f960bacedd0f94424ca7428cf5777296ecbdb4148db375e19d3a227b77","last_reissued_at":"2026-05-18T04:07:18.115983Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:18.115983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0701187","source_version":2,"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-18T04:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"01kxLDEXW4JyIKjkJiDnGIrpa6jXM0j3uTBZYoEsQgZBwIITCtuZiCZtUm+/7mW7nI6ba6c577NW3PnCyurQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T03:37:26.108221Z"},"content_sha256":"5e1295ca86f3b36f004dcd2bca52d3482ef5fb0ffcf0b2bd783ef0394499128b","schema_version":"1.0","event_id":"sha256:5e1295ca86f3b36f004dcd2bca52d3482ef5fb0ffcf0b2bd783ef0394499128b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:KAE4T6LAXLHN2D4UIJGKOQUM6V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification Across Intellectual Property Boundaries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Christian Schallhart, Helmut Veith, Sagar Chaki","submitted_at":"2007-01-29T17:09:17Z","abstract_excerpt":"In many industries, the importance of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) rights, the customer usually has no direct access to the suppliers' source code, and is able to enforce the use of verification tools only by legal requirements. In turn, the supplier has no means to convince the customer about successful verification without revealing the source code. This paper presents an approach to resolve the conflict between the IP interests of the supplier and the quality interests of the cu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701187","kind":"arxiv","version":2},"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-18T04:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fi6qqjoZDmRkyFMaUbe32bxZnVYJKFU4gOuoPMOhdy1O3jHdmDChgWCYNSpDu304RetNT3V01l/0Gf4xlVXCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T03:37:26.108670Z"},"content_sha256":"3cea1fb9c289f838535b24cc22afe7046f5b8a1f998cde3a5dfbe81d5da5fecd","schema_version":"1.0","event_id":"sha256:3cea1fb9c289f838535b24cc22afe7046f5b8a1f998cde3a5dfbe81d5da5fecd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/bundle.json","state_url":"https://pith.science/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/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-27T03:37:26Z","links":{"resolver":"https://pith.science/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V","bundle":"https://pith.science/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/bundle.json","state":"https://pith.science/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KAE4T6LAXLHN2D4UIJGKOQUM6V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:KAE4T6LAXLHN2D4UIJGKOQUM6V","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":"24f8d2c17e1801baf5cb68146986f82b80c5a37bec4c0e47b3e734b5547a9f80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2007-01-29T17:09:17Z","title_canon_sha256":"5a6242ab142497cc84ce326d096eba374cbae06f3028cc392597e3b054bb5d2f"},"schema_version":"1.0","source":{"id":"cs/0701187","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701187","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701187v2","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701187","created_at":"2026-05-18T04:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"KAE4T6LAXLHN","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"KAE4T6LAXLHN2D4U","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"KAE4T6LA","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:3cea1fb9c289f838535b24cc22afe7046f5b8a1f998cde3a5dfbe81d5da5fecd","target":"graph","created_at":"2026-05-18T04:07:18Z","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 many industries, the importance of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) rights, the customer usually has no direct access to the suppliers' source code, and is able to enforce the use of verification tools only by legal requirements. In turn, the supplier has no means to convince the customer about successful verification without revealing the source code. This paper presents an approach to resolve the conflict between the IP interests of the supplier and the quality interests of the cu","authors_text":"Christian Schallhart, Helmut Veith, Sagar Chaki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2007-01-29T17:09:17Z","title":"Verification Across Intellectual Property Boundaries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701187","kind":"arxiv","version":2},"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:5e1295ca86f3b36f004dcd2bca52d3482ef5fb0ffcf0b2bd783ef0394499128b","target":"record","created_at":"2026-05-18T04:07:18Z","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":"24f8d2c17e1801baf5cb68146986f82b80c5a37bec4c0e47b3e734b5547a9f80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2007-01-29T17:09:17Z","title_canon_sha256":"5a6242ab142497cc84ce326d096eba374cbae06f3028cc392597e3b054bb5d2f"},"schema_version":"1.0","source":{"id":"cs/0701187","kind":"arxiv","version":2}},"canonical_sha256":"5009c9f960bacedd0f94424ca7428cf5777296ecbdb4148db375e19d3a227b77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5009c9f960bacedd0f94424ca7428cf5777296ecbdb4148db375e19d3a227b77","first_computed_at":"2026-05-18T04:07:18.115983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:07:18.115983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dg5D1Fjg669nsFK/f1k88DZAkiYlBGt60sMraOuIrDmBbY+QXtFpRd+zwtQgvQ/bF3izWs+BrRf+2wQziclwDw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:07:18.116693Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0701187","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e1295ca86f3b36f004dcd2bca52d3482ef5fb0ffcf0b2bd783ef0394499128b","sha256:3cea1fb9c289f838535b24cc22afe7046f5b8a1f998cde3a5dfbe81d5da5fecd"],"state_sha256":"179a7ec6b3ce607d51f8087cb2f7f66b71394c2b05d27f52b7646c2ef67af338"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HYwlEOewG9F6LKs0niVKkbfufo2RU5hUb7/9mA8ypJpckFsPrubwl//uTe1cFWYJLpIcM9Yo5TM90TE/WPw+Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T03:37:26.110874Z","bundle_sha256":"0055ea6430601b238b815a23178cbb7dc267586cfbe0b58093ba6ebf2de3142a"}}