{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:IMPI2Z7UEGTCFZI7ABB5A34RNH","short_pith_number":"pith:IMPI2Z7U","canonical_record":{"source":{"id":"1409.0393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-09-01T12:53:17Z","cross_cats_sorted":[],"title_canon_sha256":"07b636660c1925da5d190b370c6ba1592477acb3a0e957be1f3529a4ca2724b9","abstract_canon_sha256":"7f8a8c20b20b2af9a63ae702037efcfedcf404e3d01f124d0343290b4bda4a6e"},"schema_version":"1.0"},"canonical_sha256":"431e8d67f421a622e51f0043d06f9169ee9c2c649caeb71bae46f6fc705a1d7a","source":{"kind":"arxiv","id":"1409.0393","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0393","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0393v2","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0393","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"pith_short_12","alias_value":"IMPI2Z7UEGTC","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IMPI2Z7UEGTCFZI7","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IMPI2Z7U","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:IMPI2Z7UEGTCFZI7ABB5A34RNH","target":"record","payload":{"canonical_record":{"source":{"id":"1409.0393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-09-01T12:53:17Z","cross_cats_sorted":[],"title_canon_sha256":"07b636660c1925da5d190b370c6ba1592477acb3a0e957be1f3529a4ca2724b9","abstract_canon_sha256":"7f8a8c20b20b2af9a63ae702037efcfedcf404e3d01f124d0343290b4bda4a6e"},"schema_version":"1.0"},"canonical_sha256":"431e8d67f421a622e51f0043d06f9169ee9c2c649caeb71bae46f6fc705a1d7a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:20.826584Z","signature_b64":"sk0eNaOF/sGnM/3IQ+vg/oL/obQfMkpbPOw97ooeJnLxkhP4WMqqZySzVAUXHmUQH5YMaJqRuMWzlJqZMJyyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"431e8d67f421a622e51f0043d06f9169ee9c2c649caeb71bae46f6fc705a1d7a","last_reissued_at":"2026-05-18T01:17:20.825980Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:20.825980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.0393","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-18T01:17:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N3jooV44NRnv7uw+YOh3DvywbQ78RmlbNzhZWpMQPUf/tXKvf3t0D7dWYYNtMpx5LvOn/Ae8Tj1JC8hKzEatBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:28:41.967637Z"},"content_sha256":"b6621da1de2b12198f3766ee557d07a86faea70e5c429ff984fe3e3a1f98a265","schema_version":"1.0","event_id":"sha256:b6621da1de2b12198f3766ee557d07a86faea70e5c429ff984fe3e3a1f98a265"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:IMPI2Z7UEGTCFZI7ABB5A34RNH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Testing Noninterference, Quickly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Antal Spector-Zabusky, Arthur Azevedo de Amorim, Benjamin C. Pierce, Catalin Hritcu, Dimitrios Vytiniotis, John Hughes, Leonidas Lampropoulos, Maxime D\\'en\\`es","submitted_at":"2014-09-01T12:53:17Z","abstract_excerpt":"Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of increasingly complex information-flow abstract machines, leading up to a sophisticated register machine with a novel and highly permissive flow-sensitive dynamic enforcement mechanism that is sound in the presence of first-class public labels."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0393","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-18T01:17:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OThIuLQDr38HJn5OWOBdMtHDgD3yyWQPtOpBDFsdnyLPT7dpi59idg82gtlsk3Od4CJE75AyHV0/iMrPkdC3Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:28:41.968287Z"},"content_sha256":"a43d2945bdcb41efbef3788eb9e222d07635dc2a3a6ca5ba657cba2359f40705","schema_version":"1.0","event_id":"sha256:a43d2945bdcb41efbef3788eb9e222d07635dc2a3a6ca5ba657cba2359f40705"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/bundle.json","state_url":"https://pith.science/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/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-05-26T08:28:41Z","links":{"resolver":"https://pith.science/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH","bundle":"https://pith.science/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/bundle.json","state":"https://pith.science/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IMPI2Z7UEGTCFZI7ABB5A34RNH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:IMPI2Z7UEGTCFZI7ABB5A34RNH","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":"7f8a8c20b20b2af9a63ae702037efcfedcf404e3d01f124d0343290b4bda4a6e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-09-01T12:53:17Z","title_canon_sha256":"07b636660c1925da5d190b370c6ba1592477acb3a0e957be1f3529a4ca2724b9"},"schema_version":"1.0","source":{"id":"1409.0393","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.0393","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"arxiv_version","alias_value":"1409.0393v2","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0393","created_at":"2026-05-18T01:17:20Z"},{"alias_kind":"pith_short_12","alias_value":"IMPI2Z7UEGTC","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IMPI2Z7UEGTCFZI7","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IMPI2Z7U","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:a43d2945bdcb41efbef3788eb9e222d07635dc2a3a6ca5ba657cba2359f40705","target":"graph","created_at":"2026-05-18T01:17:20Z","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":"Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of increasingly complex information-flow abstract machines, leading up to a sophisticated register machine with a novel and highly permissive flow-sensitive dynamic enforcement mechanism that is sound in the presence of first-class public labels.","authors_text":"Antal Spector-Zabusky, Arthur Azevedo de Amorim, Benjamin C. Pierce, Catalin Hritcu, Dimitrios Vytiniotis, John Hughes, Leonidas Lampropoulos, Maxime D\\'en\\`es","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-09-01T12:53:17Z","title":"Testing Noninterference, Quickly"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0393","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:b6621da1de2b12198f3766ee557d07a86faea70e5c429ff984fe3e3a1f98a265","target":"record","created_at":"2026-05-18T01:17:20Z","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":"7f8a8c20b20b2af9a63ae702037efcfedcf404e3d01f124d0343290b4bda4a6e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-09-01T12:53:17Z","title_canon_sha256":"07b636660c1925da5d190b370c6ba1592477acb3a0e957be1f3529a4ca2724b9"},"schema_version":"1.0","source":{"id":"1409.0393","kind":"arxiv","version":2}},"canonical_sha256":"431e8d67f421a622e51f0043d06f9169ee9c2c649caeb71bae46f6fc705a1d7a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"431e8d67f421a622e51f0043d06f9169ee9c2c649caeb71bae46f6fc705a1d7a","first_computed_at":"2026-05-18T01:17:20.825980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:20.825980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sk0eNaOF/sGnM/3IQ+vg/oL/obQfMkpbPOw97ooeJnLxkhP4WMqqZySzVAUXHmUQH5YMaJqRuMWzlJqZMJyyDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:20.826584Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.0393","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6621da1de2b12198f3766ee557d07a86faea70e5c429ff984fe3e3a1f98a265","sha256:a43d2945bdcb41efbef3788eb9e222d07635dc2a3a6ca5ba657cba2359f40705"],"state_sha256":"4f1b0ab2ca037f27fa472d995f01904e31afab97eea6870fe74f494f85bd01b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N2JTR+XZvgmfsfoI6JN2c//5mZY5KRzM9nTFTPDtJCTZ2C5knzW2g0BdmE8i2T8YiIVgydx3Ez418HbJQOtwCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T08:28:41.971808Z","bundle_sha256":"c659bbe0218e6be3946395f17bb73385cb28fa227738271b1eb3598918aa7b47"}}