{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KKLNMOT5UGKNILISF2LKJUOI6W","short_pith_number":"pith:KKLNMOT5","canonical_record":{"source":{"id":"1709.09623","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-27T16:55:25Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"0e41d4af7e18aa5ab8b3bf5f795f9af5741fa0f26b1da48973a15a1f1d425108","abstract_canon_sha256":"cac5ccec5ddb33013ecf569b7fe4ad47bd29ab9698deba879910480c36d0a3c4"},"schema_version":"1.0"},"canonical_sha256":"5296d63a7da194d42d122e96a4d1c8f5a7835f947d4ba1a9b16103e9577d15b9","source":{"kind":"arxiv","id":"1709.09623","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.09623","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"arxiv_version","alias_value":"1709.09623v1","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.09623","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"pith_short_12","alias_value":"KKLNMOT5UGKN","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KKLNMOT5UGKNILIS","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KKLNMOT5","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KKLNMOT5UGKNILISF2LKJUOI6W","target":"record","payload":{"canonical_record":{"source":{"id":"1709.09623","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-27T16:55:25Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"0e41d4af7e18aa5ab8b3bf5f795f9af5741fa0f26b1da48973a15a1f1d425108","abstract_canon_sha256":"cac5ccec5ddb33013ecf569b7fe4ad47bd29ab9698deba879910480c36d0a3c4"},"schema_version":"1.0"},"canonical_sha256":"5296d63a7da194d42d122e96a4d1c8f5a7835f947d4ba1a9b16103e9577d15b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:11.118205Z","signature_b64":"+ip/wrrwdNAynKRGfHEbHZe6RyWX4wexhYFtIqR1OJV/WY2kbUtJy9oHqnN3+uFt9VAF73yl1Pwi6e4rnnkUCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5296d63a7da194d42d122e96a4d1c8f5a7835f947d4ba1a9b16103e9577d15b9","last_reissued_at":"2026-05-18T00:34:11.117569Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:11.117569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.09623","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-18T00:34:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EAg3FEket3zpJND5x0j4njutsOyR2Kf3nxzbedDPu7HvG8SI9ZXq2+fHxrJDIWu+Dp/ZY23sCOgYKAH0MFwUBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:44:54.786037Z"},"content_sha256":"8656bde3fd7981453a20a25fcee6c450b254cc84ba0077fc9325d366978b1cc6","schema_version":"1.0","event_id":"sha256:8656bde3fd7981453a20a25fcee6c450b254cc84ba0077fc9325d366978b1cc6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KKLNMOT5UGKNILISF2LKJUOI6W","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Permission-Dependent Type System for Secure Information Flow Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Alwen Tiu, Hongxu Chen, Yang Liu, Zhiwu Xu","submitted_at":"2017-09-27T16:55:25Z","abstract_excerpt":"We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information leakage in Android applications. To this end, we design a lightweight type system featuring Android permission model, where the permissions are statically assigned to applications and are used to enforce access control in the applications. We take inspiration from a type system by Banerjee and Naumann (BN) to allow security types to be dependent on the permissions of the applications. A novel feature of our type syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.09623","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-18T00:34:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZT2PxaOpqJwLq4ndjplbKLP5+o9BR+ltLXMc/+o2qJSLiSqv53DODLwXJvCPspT1hl4ew6eWTKd67pO1mDOFDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:44:54.786624Z"},"content_sha256":"0ee5125b7b2dd3294bc95ec6dd0bf4ea246ddc24984224d0b909cdd1e5535ab6","schema_version":"1.0","event_id":"sha256:0ee5125b7b2dd3294bc95ec6dd0bf4ea246ddc24984224d0b909cdd1e5535ab6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KKLNMOT5UGKNILISF2LKJUOI6W/bundle.json","state_url":"https://pith.science/pith/KKLNMOT5UGKNILISF2LKJUOI6W/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KKLNMOT5UGKNILISF2LKJUOI6W/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-27T14:44:54Z","links":{"resolver":"https://pith.science/pith/KKLNMOT5UGKNILISF2LKJUOI6W","bundle":"https://pith.science/pith/KKLNMOT5UGKNILISF2LKJUOI6W/bundle.json","state":"https://pith.science/pith/KKLNMOT5UGKNILISF2LKJUOI6W/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KKLNMOT5UGKNILISF2LKJUOI6W/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KKLNMOT5UGKNILISF2LKJUOI6W","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":"cac5ccec5ddb33013ecf569b7fe4ad47bd29ab9698deba879910480c36d0a3c4","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-27T16:55:25Z","title_canon_sha256":"0e41d4af7e18aa5ab8b3bf5f795f9af5741fa0f26b1da48973a15a1f1d425108"},"schema_version":"1.0","source":{"id":"1709.09623","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.09623","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"arxiv_version","alias_value":"1709.09623v1","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.09623","created_at":"2026-05-18T00:34:11Z"},{"alias_kind":"pith_short_12","alias_value":"KKLNMOT5UGKN","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KKLNMOT5UGKNILIS","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KKLNMOT5","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:0ee5125b7b2dd3294bc95ec6dd0bf4ea246ddc24984224d0b909cdd1e5535ab6","target":"graph","created_at":"2026-05-18T00:34:11Z","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 introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information leakage in Android applications. To this end, we design a lightweight type system featuring Android permission model, where the permissions are statically assigned to applications and are used to enforce access control in the applications. We take inspiration from a type system by Banerjee and Naumann (BN) to allow security types to be dependent on the permissions of the applications. A novel feature of our type syst","authors_text":"Alwen Tiu, Hongxu Chen, Yang Liu, Zhiwu Xu","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-27T16:55:25Z","title":"A Permission-Dependent Type System for Secure Information Flow Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.09623","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:8656bde3fd7981453a20a25fcee6c450b254cc84ba0077fc9325d366978b1cc6","target":"record","created_at":"2026-05-18T00:34:11Z","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":"cac5ccec5ddb33013ecf569b7fe4ad47bd29ab9698deba879910480c36d0a3c4","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-27T16:55:25Z","title_canon_sha256":"0e41d4af7e18aa5ab8b3bf5f795f9af5741fa0f26b1da48973a15a1f1d425108"},"schema_version":"1.0","source":{"id":"1709.09623","kind":"arxiv","version":1}},"canonical_sha256":"5296d63a7da194d42d122e96a4d1c8f5a7835f947d4ba1a9b16103e9577d15b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5296d63a7da194d42d122e96a4d1c8f5a7835f947d4ba1a9b16103e9577d15b9","first_computed_at":"2026-05-18T00:34:11.117569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:34:11.117569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+ip/wrrwdNAynKRGfHEbHZe6RyWX4wexhYFtIqR1OJV/WY2kbUtJy9oHqnN3+uFt9VAF73yl1Pwi6e4rnnkUCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:34:11.118205Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.09623","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8656bde3fd7981453a20a25fcee6c450b254cc84ba0077fc9325d366978b1cc6","sha256:0ee5125b7b2dd3294bc95ec6dd0bf4ea246ddc24984224d0b909cdd1e5535ab6"],"state_sha256":"bb0e9460d66ba3247b4fa49b6ba6d49bd7740cee548a942c476b0d47836a6eb8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JewIWPIjGlYwFQx//yVTPzq/FIap/iwwtcKYt5wrJflXAlIMhwBkGcxKMwyOErtnOEKw7oragYfqFqsfxjafCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T14:44:54.789851Z","bundle_sha256":"06b15310837c218dfb3f90649ab758ce420ef312d4db08da0f4257b7807a1eb6"}}