{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:JYY3KTHLFEOJZI2I53ZWIS5F7V","short_pith_number":"pith:JYY3KTHL","canonical_record":{"source":{"id":"1607.02225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-08T05:30:24Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"7e6b01836260e842082dcd9d90adf534c2f938db3bddfd9d32b128312876f9a0","abstract_canon_sha256":"45d3e36ea3d60dc4e06ad121accf43f4ab10bd226ba8b5e21aa152833b60f7ee"},"schema_version":"1.0"},"canonical_sha256":"4e31b54ceb291c9ca348eef3644ba5fd4a38fa163bd9f75c043a8cee9c836fcd","source":{"kind":"arxiv","id":"1607.02225","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02225","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02225v1","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02225","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"pith_short_12","alias_value":"JYY3KTHLFEOJ","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JYY3KTHLFEOJZI2I","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JYY3KTHL","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:JYY3KTHLFEOJZI2I53ZWIS5F7V","target":"record","payload":{"canonical_record":{"source":{"id":"1607.02225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-08T05:30:24Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"7e6b01836260e842082dcd9d90adf534c2f938db3bddfd9d32b128312876f9a0","abstract_canon_sha256":"45d3e36ea3d60dc4e06ad121accf43f4ab10bd226ba8b5e21aa152833b60f7ee"},"schema_version":"1.0"},"canonical_sha256":"4e31b54ceb291c9ca348eef3644ba5fd4a38fa163bd9f75c043a8cee9c836fcd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:20.984242Z","signature_b64":"o5H+dUna40ei5PFjB7qTJxg+MgV9oAZJpeL3iRseJHZNhO0Yf/7lVFDbOCpAwgNIgEyxuktg3tALue+Uw64lCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e31b54ceb291c9ca348eef3644ba5fd4a38fa163bd9f75c043a8cee9c836fcd","last_reissued_at":"2026-05-18T01:11:20.983787Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:20.983787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.02225","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:11:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qcxr6nrB6W/ax/sqUqt398wPgGjNlJ1/GJL5JNv7D2QiAw+7k4ftson4cts8yhFf5c3CRxcPb6aILHOlNf7PDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:03:07.908594Z"},"content_sha256":"d10c738b8fd912c0eb176ec660ce6b7361e06467d0cf7a1bc0d95459e1d8a836","schema_version":"1.0","event_id":"sha256:d10c738b8fd912c0eb176ec660ce6b7361e06467d0cf7a1bc0d95459e1d8a836"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:JYY3KTHLFEOJZI2I53ZWIS5F7V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hybrid Information Flow Analysis for Programs with Arrays","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Gerg\\\"o Barany (CEA, LIST, Software Reliability Laboratory)","submitted_at":"2016-07-08T05:30:24Z","abstract_excerpt":"Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic information flow analysis adds instrumentation code to the target software to track flows at run time and raise alarms if a flow policy is violated; hybrid analyses combine this with preliminary static analysis.\n  Using a subset of C as the target language, we extend previous work on hybrid information flow analysis that handled pointers to scalars. Our extended formulation handles arrays, pointers to array elements, and point"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02225","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:11:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pIEkCUBZJhbK+n/7v9+kMSDQzq1Pbg/bYzzKSVt6oCCAltMuK6y1t8nDB3ddIpYU95XsqCqdo3EERJDQ8ud4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:03:07.909345Z"},"content_sha256":"b0f460395150ee1e75b228dbe68e5754e77adea0db4167f7e6f07351f7dfd7d7","schema_version":"1.0","event_id":"sha256:b0f460395150ee1e75b228dbe68e5754e77adea0db4167f7e6f07351f7dfd7d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/bundle.json","state_url":"https://pith.science/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/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-25T12:03:07Z","links":{"resolver":"https://pith.science/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V","bundle":"https://pith.science/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/bundle.json","state":"https://pith.science/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JYY3KTHLFEOJZI2I53ZWIS5F7V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JYY3KTHLFEOJZI2I53ZWIS5F7V","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":"45d3e36ea3d60dc4e06ad121accf43f4ab10bd226ba8b5e21aa152833b60f7ee","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-08T05:30:24Z","title_canon_sha256":"7e6b01836260e842082dcd9d90adf534c2f938db3bddfd9d32b128312876f9a0"},"schema_version":"1.0","source":{"id":"1607.02225","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02225","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02225v1","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02225","created_at":"2026-05-18T01:11:20Z"},{"alias_kind":"pith_short_12","alias_value":"JYY3KTHLFEOJ","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JYY3KTHLFEOJZI2I","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JYY3KTHL","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:b0f460395150ee1e75b228dbe68e5754e77adea0db4167f7e6f07351f7dfd7d7","target":"graph","created_at":"2026-05-18T01:11: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 analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic information flow analysis adds instrumentation code to the target software to track flows at run time and raise alarms if a flow policy is violated; hybrid analyses combine this with preliminary static analysis.\n  Using a subset of C as the target language, we extend previous work on hybrid information flow analysis that handled pointers to scalars. Our extended formulation handles arrays, pointers to array elements, and point","authors_text":"Gerg\\\"o Barany (CEA, LIST, Software Reliability Laboratory)","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-08T05:30:24Z","title":"Hybrid Information Flow Analysis for Programs with Arrays"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02225","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:d10c738b8fd912c0eb176ec660ce6b7361e06467d0cf7a1bc0d95459e1d8a836","target":"record","created_at":"2026-05-18T01:11: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":"45d3e36ea3d60dc4e06ad121accf43f4ab10bd226ba8b5e21aa152833b60f7ee","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-07-08T05:30:24Z","title_canon_sha256":"7e6b01836260e842082dcd9d90adf534c2f938db3bddfd9d32b128312876f9a0"},"schema_version":"1.0","source":{"id":"1607.02225","kind":"arxiv","version":1}},"canonical_sha256":"4e31b54ceb291c9ca348eef3644ba5fd4a38fa163bd9f75c043a8cee9c836fcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e31b54ceb291c9ca348eef3644ba5fd4a38fa163bd9f75c043a8cee9c836fcd","first_computed_at":"2026-05-18T01:11:20.983787Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:20.983787Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o5H+dUna40ei5PFjB7qTJxg+MgV9oAZJpeL3iRseJHZNhO0Yf/7lVFDbOCpAwgNIgEyxuktg3tALue+Uw64lCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:20.984242Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02225","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d10c738b8fd912c0eb176ec660ce6b7361e06467d0cf7a1bc0d95459e1d8a836","sha256:b0f460395150ee1e75b228dbe68e5754e77adea0db4167f7e6f07351f7dfd7d7"],"state_sha256":"846d11ab051ba5ca8db40133fb8d8451148a69e9ea801ee6e14bb9edb73d8516"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P45oW2prgZdDA3r75MEH6XXQMZngenuMhj+V2dNdFoSyDSh5xRzfnmsmqjYy1L2gs9T3iXhjWvnIFoKGFU/GDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T12:03:07.913138Z","bundle_sha256":"2cec4b3fccbd8520a543b98c610e6ca097289577ab060a5a98076c6674c4c78a"}}