{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QVFDPBW3TTCKDHNDRGCQJ4XU3O","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":"cb72bcaf164c255fde1a79cd96d9e2376502c521d1ea4ef99f168350d1cb09cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-11T14:53:42Z","title_canon_sha256":"f0ad1c3da434d5bd4c79e7dcb1f5e05f96652569315abee4be84a3d10c5d4f2e"},"schema_version":"1.0","source":{"id":"1901.03603","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03603","created_at":"2026-05-17T23:56:30Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03603v1","created_at":"2026-05-17T23:56:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03603","created_at":"2026-05-17T23:56:30Z"},{"alias_kind":"pith_short_12","alias_value":"QVFDPBW3TTCK","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QVFDPBW3TTCKDHND","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QVFDPBW3","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:246342fda6fc9502eaedde0b75b5733a1386fdc9570c2e361b31f64aa6cfc481","target":"graph","created_at":"2026-05-17T23:56:30Z","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":"Billions of users rely on the security of the Android platform to protect phones, tablets, and many different types of consumer electronics. While Android's permission model is well studied, the enforcement of the protection policy has received relatively little attention. Much of this enforcement is spread across system services, taking the form of hard-coded checks within their implementations. In this paper, we propose Authorization Check Miner (ACMiner), a framework for evaluating the correctness of Android's access control enforcement through consistency analysis of authorization checks. ","authors_text":"Adwait Nadkarni, Alexandre Bartel, Benjamin Andow, Eric Bodden, Sigmund Albert Gorski III, Sunil Manandhar, William Enck","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-11T14:53:42Z","title":"ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03603","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:aef5a4bb06dd89892329db41c5e07b1a3f0f252b1f6bdf19f6b90c1f863ec42a","target":"record","created_at":"2026-05-17T23:56:30Z","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":"cb72bcaf164c255fde1a79cd96d9e2376502c521d1ea4ef99f168350d1cb09cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-01-11T14:53:42Z","title_canon_sha256":"f0ad1c3da434d5bd4c79e7dcb1f5e05f96652569315abee4be84a3d10c5d4f2e"},"schema_version":"1.0","source":{"id":"1901.03603","kind":"arxiv","version":1}},"canonical_sha256":"854a3786db9cc4a19da3898504f2f4dbabb383977b48e8bff2c78ae79674524f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"854a3786db9cc4a19da3898504f2f4dbabb383977b48e8bff2c78ae79674524f","first_computed_at":"2026-05-17T23:56:30.847539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:30.847539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wcm8ANtD8sbRInICKk1DfTrUHbbycLqxqFrcjtZ4JqZ2zopQCIZcwBa42QK27y4fZh9GA9aVRzDHjBrptPehAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:30.847907Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.03603","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aef5a4bb06dd89892329db41c5e07b1a3f0f252b1f6bdf19f6b90c1f863ec42a","sha256:246342fda6fc9502eaedde0b75b5733a1386fdc9570c2e361b31f64aa6cfc481"],"state_sha256":"1062f401cacfc57d4240b185e0a8a78c113e4260cabec1690a1999cafa5cb773"}