{"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"}