{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:SSMOLT7R7UED6B552AER5NX4RB","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":"aac139c1cf27a1c131882ac77f9355cca31eda33d3630418a84736f044a09ad2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-09-09T17:02:46Z","title_canon_sha256":"8b53fe66bfbe9d1f69b7fdce4da0784b495897446c5ecfbd9c947c0021f82e25"},"schema_version":"1.0","source":{"id":"1109.2066","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.2066","created_at":"2026-05-18T04:13:46Z"},{"alias_kind":"arxiv_version","alias_value":"1109.2066v1","created_at":"2026-05-18T04:13:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.2066","created_at":"2026-05-18T04:13:46Z"},{"alias_kind":"pith_short_12","alias_value":"SSMOLT7R7UED","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"SSMOLT7R7UED6B55","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"SSMOLT7R","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:e03a67078cffadbec55a8185e94182a96e530fb732c1919307d8693623050b2e","target":"graph","created_at":"2026-05-18T04:13:46Z","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":"The ubiquitous presence of mobile communication devices and the continuous development of mo- bile data applications, which results in high level of mobile devices' activity and exchanged data, often transparent to the user, makes privacy preservation an important feature of mobile telephony systems. We present a formal analysis of the UMTS Authentication and Key Agreement protocol, using the applied pi-calculus and the ProVerif tool. We formally verify the model with respect to privacy properties. We show a linkability attack which makes it possible, for individuals with low-cost equipment, t","authors_text":"Eike Ritter, Loretta Ilaria Mancini, Mark Ryan, Myrto Arapinis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-09-09T17:02:46Z","title":"Formal Analysis of UMTS Privacy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.2066","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:a484fef520b3e15a6681619cc9f8f2ffe9b7eb011c5af39886a41078fabd1548","target":"record","created_at":"2026-05-18T04:13:46Z","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":"aac139c1cf27a1c131882ac77f9355cca31eda33d3630418a84736f044a09ad2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-09-09T17:02:46Z","title_canon_sha256":"8b53fe66bfbe9d1f69b7fdce4da0784b495897446c5ecfbd9c947c0021f82e25"},"schema_version":"1.0","source":{"id":"1109.2066","kind":"arxiv","version":1}},"canonical_sha256":"9498e5cff1fd083f07bdd0091eb6fc88569d63262eb85b4c96b2302f767d0995","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9498e5cff1fd083f07bdd0091eb6fc88569d63262eb85b4c96b2302f767d0995","first_computed_at":"2026-05-18T04:13:46.291186Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:13:46.291186Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sZNOe2Wmm0UfGhlrQVaKLMf1l5xfD9aEKHcUHlaT5rrnFHO4dGvwouCBOzCCMqa8rX8RR5d61+yClLqV93ANCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:13:46.291647Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.2066","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a484fef520b3e15a6681619cc9f8f2ffe9b7eb011c5af39886a41078fabd1548","sha256:e03a67078cffadbec55a8185e94182a96e530fb732c1919307d8693623050b2e"],"state_sha256":"6caeb4d4fc4cb9575914fec3e36907bd6d91b1a9e142fbe72551899d5b2e36ff"}