{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:D2222RGYDOTZ2U64OUWVEJVPNX","short_pith_number":"pith:D2222RGY","canonical_record":{"source":{"id":"2201.01649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-05T15:13:25Z","cross_cats_sorted":[],"title_canon_sha256":"c6088942d67dae730a619ea264d3808f36e3532577db8f1da54c546d765ec6c9","abstract_canon_sha256":"2d4537a62cec671b228bb05589089a8f7ee60efc3c6eb6ec5b8aed06687259d3"},"schema_version":"1.0"},"canonical_sha256":"1eb5ad44d81ba79d53dc752d5226af6df751c0b0a50b5d93a0f26d391dbf6b4b","source":{"kind":"arxiv","id":"2201.01649","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:D2222RGYDOTZ2U64OUWVEJVPNX","target":"record","payload":{"canonical_record":{"source":{"id":"2201.01649","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2022-01-05T15:13:25Z","cross_cats_sorted":[],"title_canon_sha256":"c6088942d67dae730a619ea264d3808f36e3532577db8f1da54c546d765ec6c9","abstract_canon_sha256":"2d4537a62cec671b228bb05589089a8f7ee60efc3c6eb6ec5b8aed06687259d3"},"schema_version":"1.0"},"canonical_sha256":"1eb5ad44d81ba79d53dc752d5226af6df751c0b0a50b5d93a0f26d391dbf6b4b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:53:40.582650Z","signature_b64":"AOxmBUWwCxDUNa28yTrz5J2E/Gmimts/iNwth5+bUWO9BiE1hv5HxjAcQVfnAqBQD//DgD5YWosoCUD/v3HPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1eb5ad44d81ba79d53dc752d5226af6df751c0b0a50b5d93a0f26d391dbf6b4b","last_reissued_at":"2026-07-05T04:53:40.582185Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:53:40.582185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.01649","source_version":2,"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-07-05T04:53:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i3vkdTW7bzGO0wcN0mUPDwf5+QBENoGV7RXqsQlh7MWrvk9p67K1wJ4km8juFh3RwkImWDt9IXDrTSPyicNJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T20:29:06.626767Z"},"content_sha256":"1b9adb0b05acd3995e7fddd1b8d4790bfd2d73e1ea4871d36155ecae255a1f2c","schema_version":"1.0","event_id":"sha256:1b9adb0b05acd3995e7fddd1b8d4790bfd2d73e1ea4871d36155ecae255a1f2c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:D2222RGYDOTZ2U64OUWVEJVPNX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Benjamin Farinier, Lorenzo Veronese, Marco Squarcina, Matteo Maffei, Mauro Tempesta, Pedro Bernardo","submitted_at":"2022-01-05T15:13:25Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.01649","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2201.01649/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:53:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mxNT9fe6weINNZHSSRxA5Z1kKmVUGye0IIE3MCHmE+B+Ko7E22QjQqYBm2PtXZCTvJRoczDZnm0qMJCKvIO2Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T20:29:06.627134Z"},"content_sha256":"51e0d9b301a07621bd5f2137ae6168e0c9492826e0c26e3ab37005d2638a4f91","schema_version":"1.0","event_id":"sha256:51e0d9b301a07621bd5f2137ae6168e0c9492826e0c26e3ab37005d2638a4f91"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D2222RGYDOTZ2U64OUWVEJVPNX/bundle.json","state_url":"https://pith.science/pith/D2222RGYDOTZ2U64OUWVEJVPNX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D2222RGYDOTZ2U64OUWVEJVPNX/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-07-06T20:29:06Z","links":{"resolver":"https://pith.science/pith/D2222RGYDOTZ2U64OUWVEJVPNX","bundle":"https://pith.science/pith/D2222RGYDOTZ2U64OUWVEJVPNX/bundle.json","state":"https://pith.science/pith/D2222RGYDOTZ2U64OUWVEJVPNX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D2222RGYDOTZ2U64OUWVEJVPNX/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AelKV9PK1Wc7+MK6H+1S1DtDBIrV2cpyyZavxGIy9T+XEpTwOTwrqNTvkcGpD1eyBQGVpU3ZHERkmf3XMxBRAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T20:29:06.629233Z","bundle_sha256":"eb9a94341222960ef19ea6b765466b401ce7fac927a4a432ead24ad31caecedc"}}