{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:L3KLMPNTQPU5ZRXMBRWTOZOYWY","short_pith_number":"pith:L3KLMPNT","canonical_record":{"source":{"id":"1507.03513","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T16:26:09Z","cross_cats_sorted":[],"title_canon_sha256":"ff6b7945eaa7de4d09abedc25da535d68efe8248f49de4f09d50ba909e17d7fb","abstract_canon_sha256":"eb31c01f5c16ff2230b95d0d5492ffdf218037033e21c28933ea4c788281ac2b"},"schema_version":"1.0"},"canonical_sha256":"5ed4b63db383e9dcc6ec0c6d3765d8b6280cb7d4d036429aef5f9021ca101924","source":{"kind":"arxiv","id":"1507.03513","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03513","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03513v5","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03513","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"pith_short_12","alias_value":"L3KLMPNTQPU5","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L3KLMPNTQPU5ZRXM","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L3KLMPNT","created_at":"2026-05-18T12:29:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:L3KLMPNTQPU5ZRXMBRWTOZOYWY","target":"record","payload":{"canonical_record":{"source":{"id":"1507.03513","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T16:26:09Z","cross_cats_sorted":[],"title_canon_sha256":"ff6b7945eaa7de4d09abedc25da535d68efe8248f49de4f09d50ba909e17d7fb","abstract_canon_sha256":"eb31c01f5c16ff2230b95d0d5492ffdf218037033e21c28933ea4c788281ac2b"},"schema_version":"1.0"},"canonical_sha256":"5ed4b63db383e9dcc6ec0c6d3765d8b6280cb7d4d036429aef5f9021ca101924","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:24.955383Z","signature_b64":"Cfa59Rc5CxZ++rdRdMb/Ya8Xn4Lncw7TedWAtSKL9JX0rEfnM/aeud+9F861kLDhZSP8pBd+8xkfNnKWGfBZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ed4b63db383e9dcc6ec0c6d3765d8b6280cb7d4d036429aef5f9021ca101924","last_reissued_at":"2026-05-18T01:16:24.954856Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:24.954856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.03513","source_version":5,"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:16:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ElcX01ZXy6lLZ/wnGvzI60guZNcQjRKcOSJx0wWLU4pFmC1e9Hyb+umst75WLq8e3GUFPlxPAs5FGaXVsrZdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T03:51:12.924663Z"},"content_sha256":"85a7396e7bc9078424931a067bc966798ee936912869a46ed40846a49abdf66d","schema_version":"1.0","event_id":"sha256:85a7396e7bc9078424931a067bc966798ee936912869a46ed40846a49abdf66d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:L3KLMPNTQPU5ZRXMBRWTOZOYWY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Precise, Dynamic Information Flow for Database-Backed Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Armando Solar-Lezama, Cormac Flanagan, Jean Yang, Stephen Chong, Thomas H. Austin, Travis Hance","submitted_at":"2015-07-13T16:26:09Z","abstract_excerpt":"We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic applications. In this paper, we present a programming model that factors out information flow policies from application code and database queries, a dynamic semantics for the underlying {\\lambda}^JDB core language, and proofs of termination-insensitive non-interference and policy compliance for the se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03513","kind":"arxiv","version":5},"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:16:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KLKv51qFzG+MqV+jSMdMuYe8ZrLTTyFAmjjkfX0SaXp3IAA+5QX19Ie2dkYOX3hJVzGqyZd2AQzbqJ9DVQopCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T03:51:12.925014Z"},"content_sha256":"3e5889174c2e587af427b9d1635625b4be4e47ddddeb37db98efcf16740a9ddd","schema_version":"1.0","event_id":"sha256:3e5889174c2e587af427b9d1635625b4be4e47ddddeb37db98efcf16740a9ddd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/bundle.json","state_url":"https://pith.science/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/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-30T03:51:12Z","links":{"resolver":"https://pith.science/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY","bundle":"https://pith.science/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/bundle.json","state":"https://pith.science/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3KLMPNTQPU5ZRXMBRWTOZOYWY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:L3KLMPNTQPU5ZRXMBRWTOZOYWY","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":"eb31c01f5c16ff2230b95d0d5492ffdf218037033e21c28933ea4c788281ac2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T16:26:09Z","title_canon_sha256":"ff6b7945eaa7de4d09abedc25da535d68efe8248f49de4f09d50ba909e17d7fb"},"schema_version":"1.0","source":{"id":"1507.03513","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03513","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03513v5","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03513","created_at":"2026-05-18T01:16:24Z"},{"alias_kind":"pith_short_12","alias_value":"L3KLMPNTQPU5","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"L3KLMPNTQPU5ZRXM","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"L3KLMPNT","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:3e5889174c2e587af427b9d1635625b4be4e47ddddeb37db98efcf16740a9ddd","target":"graph","created_at":"2026-05-18T01:16:24Z","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":"We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic applications. In this paper, we present a programming model that factors out information flow policies from application code and database queries, a dynamic semantics for the underlying {\\lambda}^JDB core language, and proofs of termination-insensitive non-interference and policy compliance for the se","authors_text":"Armando Solar-Lezama, Cormac Flanagan, Jean Yang, Stephen Chong, Thomas H. Austin, Travis Hance","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T16:26:09Z","title":"Precise, Dynamic Information Flow for Database-Backed Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03513","kind":"arxiv","version":5},"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:85a7396e7bc9078424931a067bc966798ee936912869a46ed40846a49abdf66d","target":"record","created_at":"2026-05-18T01:16:24Z","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":"eb31c01f5c16ff2230b95d0d5492ffdf218037033e21c28933ea4c788281ac2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T16:26:09Z","title_canon_sha256":"ff6b7945eaa7de4d09abedc25da535d68efe8248f49de4f09d50ba909e17d7fb"},"schema_version":"1.0","source":{"id":"1507.03513","kind":"arxiv","version":5}},"canonical_sha256":"5ed4b63db383e9dcc6ec0c6d3765d8b6280cb7d4d036429aef5f9021ca101924","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ed4b63db383e9dcc6ec0c6d3765d8b6280cb7d4d036429aef5f9021ca101924","first_computed_at":"2026-05-18T01:16:24.954856Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:16:24.954856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Cfa59Rc5CxZ++rdRdMb/Ya8Xn4Lncw7TedWAtSKL9JX0rEfnM/aeud+9F861kLDhZSP8pBd+8xkfNnKWGfBZDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:16:24.955383Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03513","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85a7396e7bc9078424931a067bc966798ee936912869a46ed40846a49abdf66d","sha256:3e5889174c2e587af427b9d1635625b4be4e47ddddeb37db98efcf16740a9ddd"],"state_sha256":"42830659a68036bfdae61522ec6a87e0c4fc8e3fe414b2a5cb42330be6821b4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BQ6ESx6GrTxvs0zeqgqaUJNRFQhDliCFrbRpoVFefAGvpEeXJ0yt1TtDbeQ8Lq2ivoRDGH2LiK4sDCKtSE/8AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T03:51:12.927020Z","bundle_sha256":"8159567bd4f7c7eb77b717dcf94e3ffa2cca8aeb55fbe5afe4402b3271f14403"}}