{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:D2222RGYDOTZ2U64OUWVEJVPNX","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":"2d4537a62cec671b228bb05589089a8f7ee60efc3c6eb6ec5b8aed06687259d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-05T15:13:25Z","title_canon_sha256":"c6088942d67dae730a619ea264d3808f36e3532577db8f1da54c546d765ec6c9"},"schema_version":"1.0","source":{"id":"2201.01649","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.01649","created_at":"2026-07-05T04:53:40Z"},{"alias_kind":"arxiv_version","alias_value":"2201.01649v2","created_at":"2026-07-05T04:53:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.01649","created_at":"2026-07-05T04:53:40Z"},{"alias_kind":"pith_short_12","alias_value":"D2222RGYDOTZ","created_at":"2026-07-05T04:53:40Z"},{"alias_kind":"pith_short_16","alias_value":"D2222RGYDOTZ2U64","created_at":"2026-07-05T04:53:40Z"},{"alias_kind":"pith_short_8","alias_value":"D2222RGY","created_at":"2026-07-05T04:53:40Z"}],"graph_snapshots":[{"event_id":"sha256:51e0d9b301a07621bd5f2137ae6168e0c9492826e0c26e3ab37005d2638a4f91","target":"graph","created_at":"2026-07-05T04:53:40Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2201.01649/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security mechanisms. Their specifications are manually reviewed by experts to identify potential security issues. However, this process has proved to be error-prone due to the extensiveness of modern browser specifications and the interplay between new and existing Web platform components. To tackle this problem, we developed WebSpec, the first formal security framework for the analysis of browser security mechanisms, which en","authors_text":"Benjamin Farinier, Lorenzo Veronese, Marco Squarcina, Matteo Maffei, Mauro Tempesta, Pedro Bernardo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-05T15:13:25Z","title":"WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.01649","kind":"arxiv","version":2},"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:1b9adb0b05acd3995e7fddd1b8d4790bfd2d73e1ea4871d36155ecae255a1f2c","target":"record","created_at":"2026-07-05T04:53:40Z","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":"2d4537a62cec671b228bb05589089a8f7ee60efc3c6eb6ec5b8aed06687259d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-05T15:13:25Z","title_canon_sha256":"c6088942d67dae730a619ea264d3808f36e3532577db8f1da54c546d765ec6c9"},"schema_version":"1.0","source":{"id":"2201.01649","kind":"arxiv","version":2}},"canonical_sha256":"1eb5ad44d81ba79d53dc752d5226af6df751c0b0a50b5d93a0f26d391dbf6b4b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1eb5ad44d81ba79d53dc752d5226af6df751c0b0a50b5d93a0f26d391dbf6b4b","first_computed_at":"2026-07-05T04:53:40.582185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:53:40.582185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AOxmBUWwCxDUNa28yTrz5J2E/Gmimts/iNwth5+bUWO9BiE1hv5HxjAcQVfnAqBQD//DgD5YWosoCUD/v3HPBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:53:40.582650Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.01649","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1b9adb0b05acd3995e7fddd1b8d4790bfd2d73e1ea4871d36155ecae255a1f2c","sha256:51e0d9b301a07621bd5f2137ae6168e0c9492826e0c26e3ab37005d2638a4f91"],"state_sha256":"2160c10c68973ad0251a08e90028963f5c4ed584fa7f748fa715810fb54efacf"}