{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VZXDPJPDGT6O2XI2EYIKD6QJL3","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":"a970ad1d10e0738ea52a3930c71e618e486b7c6c585f7538c8e3c6a7dd755cee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T07:21:46Z","title_canon_sha256":"68a44f04fe52ca2eff2b6f34ec7eef349e74020afcedef2702426168c80b6ee8"},"schema_version":"1.0","source":{"id":"1511.01633","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01633","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01633v1","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01633","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"VZXDPJPDGT6O","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VZXDPJPDGT6O2XI2","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VZXDPJPD","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:fe58b75e616fd42e24e6db1f0fabc33720c84591c8b325589fd9c2fdb2c8360f","target":"graph","created_at":"2026-05-18T01:27:45Z","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 study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, little is known about the decidability of their combined theory, which is especially relevant when analysing security vulnerabilities of dynamic web pages in a more realistic browser model. On the one hand, word equations (string logic with concatenations) cannot precisely capture sanitisation functions (e.g. htmlescape) and implicit browser transductions (e.g. innerHTML mut","authors_text":"Anthony W. Lin, Pablo Barcelo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T07:21:46Z","title":"String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01633","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:6ade63349370c218a879b9dd0280e003233a29127e9f1fdbf6060bc3b7e9a529","target":"record","created_at":"2026-05-18T01:27:45Z","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":"a970ad1d10e0738ea52a3930c71e618e486b7c6c585f7538c8e3c6a7dd755cee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T07:21:46Z","title_canon_sha256":"68a44f04fe52ca2eff2b6f34ec7eef349e74020afcedef2702426168c80b6ee8"},"schema_version":"1.0","source":{"id":"1511.01633","kind":"arxiv","version":1}},"canonical_sha256":"ae6e37a5e334fced5d1a2610a1fa095ee5b3a2e69825f2be3edd88010c46fc91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ae6e37a5e334fced5d1a2610a1fa095ee5b3a2e69825f2be3edd88010c46fc91","first_computed_at":"2026-05-18T01:27:45.016857Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:45.016857Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NKWHSqrjJPkajAyA62488IE92yD1qpGpi9pip/W00hHcYL5cS1xcsyttHhAB78xgQfSLskXP1f4+zxu7rALzAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:45.017533Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.01633","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ade63349370c218a879b9dd0280e003233a29127e9f1fdbf6060bc3b7e9a529","sha256:fe58b75e616fd42e24e6db1f0fabc33720c84591c8b325589fd9c2fdb2c8360f"],"state_sha256":"71870caed18040923dd8dac2f16fd673998c4115e9a41757798b78b2931a532a"}