{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:OOTURSP6QNOR2HKC2U66ZLEGLX","short_pith_number":"pith:OOTURSP6","schema_version":"1.0","canonical_sha256":"73a748c9fe835d1d1d42d53decac865dc3650e47a89c5721384ad3adb14114e0","source":{"kind":"arxiv","id":"1605.03932","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1605.03932","created_at":"2026-05-18T01:14:59.192529+00:00"},{"alias_kind":"arxiv_version","alias_value":"1605.03932v1","created_at":"2026-05-18T01:14:59.192529+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03932","created_at":"2026-05-18T01:14:59.192529+00:00"},{"alias_kind":"pith_short_12","alias_value":"OOTURSP6QNOR","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_16","alias_value":"OOTURSP6QNOR2HKC","created_at":"2026-05-18T12:30:36.002864+00:00"},{"alias_kind":"pith_short_8","alias_value":"OOTURSP6","created_at":"2026-05-18T12:30:36.002864+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX","json":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX.json","graph_json":"https://pith.science/api/pith-number/OOTURSP6QNOR2HKC2U66ZLEGLX/graph.json","events_json":"https://pith.science/api/pith-number/OOTURSP6QNOR2HKC2U66ZLEGLX/events.json","paper":"https://pith.science/paper/OOTURSP6"},"agent_actions":{"view_html":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX","download_json":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX.json","view_paper":"https://pith.science/paper/OOTURSP6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1605.03932&json=true","fetch_graph":"https://pith.science/api/pith-number/OOTURSP6QNOR2HKC2U66ZLEGLX/graph.json","fetch_events":"https://pith.science/api/pith-number/OOTURSP6QNOR2HKC2U66ZLEGLX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/action/storage_attestation","attest_author":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/action/author_attestation","sign_citation":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/action/citation_signature","submit_replication":"https://pith.science/pith/OOTURSP6QNOR2HKC2U66ZLEGLX/action/replication_record"}},"created_at":"2026-05-18T01:14:59.192529+00:00","updated_at":"2026-05-18T01:14:59.192529+00:00"}