{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JEL3IJYOD2GVKLKLMTYNDW7DQS","short_pith_number":"pith:JEL3IJYO","canonical_record":{"source":{"id":"1302.3178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-13T18:09:05Z","cross_cats_sorted":[],"title_canon_sha256":"919defebaab594837269b1f8096d7010249fd3f2a5ef1305870cded0b4ae7194","abstract_canon_sha256":"24d746f45debc5d58356671c1e3f402b1f02e36f9be1bad66d49af726960bfba"},"schema_version":"1.0"},"canonical_sha256":"4917b4270e1e8d552d4b64f0d1dbe384b56137969d21cc300fd791c889b1a255","source":{"kind":"arxiv","id":"1302.3178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3178","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3178v1","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3178","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"pith_short_12","alias_value":"JEL3IJYOD2GV","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEL3IJYOD2GVKLKL","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEL3IJYO","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JEL3IJYOD2GVKLKLMTYNDW7DQS","target":"record","payload":{"canonical_record":{"source":{"id":"1302.3178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-13T18:09:05Z","cross_cats_sorted":[],"title_canon_sha256":"919defebaab594837269b1f8096d7010249fd3f2a5ef1305870cded0b4ae7194","abstract_canon_sha256":"24d746f45debc5d58356671c1e3f402b1f02e36f9be1bad66d49af726960bfba"},"schema_version":"1.0"},"canonical_sha256":"4917b4270e1e8d552d4b64f0d1dbe384b56137969d21cc300fd791c889b1a255","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:48.505850Z","signature_b64":"ta5L2l+/Txwx3kUsoR4Jc1nDEExL64zlQmH1QLuFlF1MTs80p6FoSh79ixhLjWhsXMzS2KeSMTs7XVpTco7BAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4917b4270e1e8d552d4b64f0d1dbe384b56137969d21cc300fd791c889b1a255","last_reissued_at":"2026-05-18T03:33:48.505176Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:48.505176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.3178","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-18T03:33:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i11LCAKL0xEbOz/XDLLXr+zfygmZmUCijpbr3GTHJnfPID6JSgt/22I/eTYeKBjZJ4f7nNH5y2wHNtBY5dTZAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:56:38.431946Z"},"content_sha256":"e553937ad603025d883232ac783f6a10ca0f0101104e36012228523275431a83","schema_version":"1.0","event_id":"sha256:e553937ad603025d883232ac783f6a10ca0f0101104e36012228523275431a83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JEL3IJYOD2GVKLKLMTYNDW7DQS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Luke Ong, Martin Lester, Max Schaefer","submitted_at":"2013-02-13T18:09:05Z","abstract_excerpt":"Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an important problem, which is made very difficult by the highly dynamic nature of the language, particularly its support for runtime code generation. As a first step towards dealing with this, we propose to investigate security analyses for languages with more principled forms of dynamic code generation. To this end, we present a static information flow analysis for a dynamically typed functional language with prototype-based"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3178","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-18T03:33:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bLl8YI6nFlr+KllDfhIZmm4VP/MCi2S2h48CIOPXpO0Ag9KWU6VWpHzYWheh8pOpFow6zeeX3+awm2xtG2VqDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T19:56:38.432620Z"},"content_sha256":"ee769bc089547136efe6e38709fda011910f4bba2b2c8f5560a13e9ea9142907","schema_version":"1.0","event_id":"sha256:ee769bc089547136efe6e38709fda011910f4bba2b2c8f5560a13e9ea9142907"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/bundle.json","state_url":"https://pith.science/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/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-06-06T19:56:38Z","links":{"resolver":"https://pith.science/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS","bundle":"https://pith.science/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/bundle.json","state":"https://pith.science/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEL3IJYOD2GVKLKLMTYNDW7DQS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JEL3IJYOD2GVKLKLMTYNDW7DQS","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":"24d746f45debc5d58356671c1e3f402b1f02e36f9be1bad66d49af726960bfba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-13T18:09:05Z","title_canon_sha256":"919defebaab594837269b1f8096d7010249fd3f2a5ef1305870cded0b4ae7194"},"schema_version":"1.0","source":{"id":"1302.3178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3178","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3178v1","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3178","created_at":"2026-05-18T03:33:48Z"},{"alias_kind":"pith_short_12","alias_value":"JEL3IJYOD2GV","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JEL3IJYOD2GVKLKL","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JEL3IJYO","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:ee769bc089547136efe6e38709fda011910f4bba2b2c8f5560a13e9ea9142907","target":"graph","created_at":"2026-05-18T03:33:48Z","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":"Web applications written in JavaScript are regularly used for dealing with sensitive or personal data. Consequently, reasoning about their security properties has become an important problem, which is made very difficult by the highly dynamic nature of the language, particularly its support for runtime code generation. As a first step towards dealing with this, we propose to investigate security analyses for languages with more principled forms of dynamic code generation. To this end, we present a static information flow analysis for a dynamically typed functional language with prototype-based","authors_text":"Luke Ong, Martin Lester, Max Schaefer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-13T18:09:05Z","title":"Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3178","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:e553937ad603025d883232ac783f6a10ca0f0101104e36012228523275431a83","target":"record","created_at":"2026-05-18T03:33:48Z","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":"24d746f45debc5d58356671c1e3f402b1f02e36f9be1bad66d49af726960bfba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-13T18:09:05Z","title_canon_sha256":"919defebaab594837269b1f8096d7010249fd3f2a5ef1305870cded0b4ae7194"},"schema_version":"1.0","source":{"id":"1302.3178","kind":"arxiv","version":1}},"canonical_sha256":"4917b4270e1e8d552d4b64f0d1dbe384b56137969d21cc300fd791c889b1a255","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4917b4270e1e8d552d4b64f0d1dbe384b56137969d21cc300fd791c889b1a255","first_computed_at":"2026-05-18T03:33:48.505176Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:48.505176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ta5L2l+/Txwx3kUsoR4Jc1nDEExL64zlQmH1QLuFlF1MTs80p6FoSh79ixhLjWhsXMzS2KeSMTs7XVpTco7BAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:48.505850Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e553937ad603025d883232ac783f6a10ca0f0101104e36012228523275431a83","sha256:ee769bc089547136efe6e38709fda011910f4bba2b2c8f5560a13e9ea9142907"],"state_sha256":"ea738373a52fec80d8048fcae37629bfcec97c89adb228c79539e6549f9f0ffe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hCyJe9ZSTlY/iCPRgh68NEexlAdip71NrHHnREkObHgmzl+9B5pXC+ERWpohehG4b2Ffdf1fREU1ukaIXjiYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T19:56:38.436087Z","bundle_sha256":"9faca3a0bb56e3b93c34efb95327e60ed707c2e27b84d86796be964c4506501c"}}