{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:N5KWYJPVWIFHKHA3CHXB4L6C2F","short_pith_number":"pith:N5KWYJPV","canonical_record":{"source":{"id":"2411.17926","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-11-26T22:44:08Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1f35ef8001911bf36c8cecd20dbf7e92a9b642dc07276c1e0a1b4f8c7bd32ea7","abstract_canon_sha256":"53221ae9ef396755cb5208f66117b294913519e79a0fb1381072e434351b23ce"},"schema_version":"1.0"},"canonical_sha256":"6f556c25f5b20a751c1b11ee1e2fc2d15139196961690e0ab3403764bc2051eb","source":{"kind":"arxiv","id":"2411.17926","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17926","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17926v1","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17926","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_12","alias_value":"N5KWYJPVWIFH","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_16","alias_value":"N5KWYJPVWIFHKHA3","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_8","alias_value":"N5KWYJPV","created_at":"2026-07-05T09:41:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:N5KWYJPVWIFHKHA3CHXB4L6C2F","target":"record","payload":{"canonical_record":{"source":{"id":"2411.17926","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-11-26T22:44:08Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1f35ef8001911bf36c8cecd20dbf7e92a9b642dc07276c1e0a1b4f8c7bd32ea7","abstract_canon_sha256":"53221ae9ef396755cb5208f66117b294913519e79a0fb1381072e434351b23ce"},"schema_version":"1.0"},"canonical_sha256":"6f556c25f5b20a751c1b11ee1e2fc2d15139196961690e0ab3403764bc2051eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:41:09.106674Z","signature_b64":"QqvlIaKsKopQpLbVRINP7VunbcpEqeJUuwSDFA/2ZnSYJ0KoIt8h3knfC06zzLJXaAhFRIjhVlBLfhLTEcH0Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f556c25f5b20a751c1b11ee1e2fc2d15139196961690e0ab3403764bc2051eb","last_reissued_at":"2026-07-05T09:41:09.106273Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:41:09.106273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.17926","source_version":1,"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-05T09:41:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aZsAvG3FScogIIHZZn7yq6ibK39y5ZDH4CCv0UETnQpM0gexTxFClVFi3YTrXOaY46nn4lFakG51JjXTtwqlDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T12:07:12.359903Z"},"content_sha256":"a1683e79b331ea4f7b4a0a47bfd235649c676848e67c125d40d20cc752b764c4","schema_version":"1.0","event_id":"sha256:a1683e79b331ea4f7b4a0a47bfd235649c676848e67c125d40d20cc752b764c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:N5KWYJPVWIFHKHA3CHXB4L6C2F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Paolo Modesti, R\\'emi Garcia","submitted_at":"2024-11-26T22:44:08Z","abstract_excerpt":"To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or implementation of security protocols. Lightweight formal methods offer a more accessible alternative to traditional fully formalised techniques by focusing on simplified models and tool support, making them more applicable in practical settings. The technical advantages of formal verification over manual testing are increasingly recognised in the cybersecurity community. However, for practitioners, formal modelling a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17926","kind":"arxiv","version":1},"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/2411.17926/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-05T09:41:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DHvhv9P9NlbhvRtwVQ0QnaQWBT1twaKL/LcHunvSPXOAVThrQAp/5HUeh7vQiOvH4uPL9NCo4bKw8WnN35QSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T12:07:12.361536Z"},"content_sha256":"0a0b6c9f474a13d6d9d5ced2de821de19ab7d33e84e6a1bf5bfcc4ba1b91ffb6","schema_version":"1.0","event_id":"sha256:0a0b6c9f474a13d6d9d5ced2de821de19ab7d33e84e6a1bf5bfcc4ba1b91ffb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/bundle.json","state_url":"https://pith.science/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/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-08-13T12:07:12Z","links":{"resolver":"https://pith.science/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F","bundle":"https://pith.science/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/bundle.json","state":"https://pith.science/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N5KWYJPVWIFHKHA3CHXB4L6C2F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:N5KWYJPVWIFHKHA3CHXB4L6C2F","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":"53221ae9ef396755cb5208f66117b294913519e79a0fb1381072e434351b23ce","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-11-26T22:44:08Z","title_canon_sha256":"1f35ef8001911bf36c8cecd20dbf7e92a9b642dc07276c1e0a1b4f8c7bd32ea7"},"schema_version":"1.0","source":{"id":"2411.17926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17926","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17926v1","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17926","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_12","alias_value":"N5KWYJPVWIFH","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_16","alias_value":"N5KWYJPVWIFHKHA3","created_at":"2026-07-05T09:41:09Z"},{"alias_kind":"pith_short_8","alias_value":"N5KWYJPV","created_at":"2026-07-05T09:41:09Z"}],"graph_snapshots":[{"event_id":"sha256:0a0b6c9f474a13d6d9d5ced2de821de19ab7d33e84e6a1bf5bfcc4ba1b91ffb6","target":"graph","created_at":"2026-07-05T09:41:09Z","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/2411.17926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or implementation of security protocols. Lightweight formal methods offer a more accessible alternative to traditional fully formalised techniques by focusing on simplified models and tool support, making them more applicable in practical settings. The technical advantages of formal verification over manual testing are increasingly recognised in the cybersecurity community. However, for practitioners, formal modelling a","authors_text":"Paolo Modesti, R\\'emi Garcia","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17926","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:a1683e79b331ea4f7b4a0a47bfd235649c676848e67c125d40d20cc752b764c4","target":"record","created_at":"2026-07-05T09:41:09Z","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":"53221ae9ef396755cb5208f66117b294913519e79a0fb1381072e434351b23ce","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-11-26T22:44:08Z","title_canon_sha256":"1f35ef8001911bf36c8cecd20dbf7e92a9b642dc07276c1e0a1b4f8c7bd32ea7"},"schema_version":"1.0","source":{"id":"2411.17926","kind":"arxiv","version":1}},"canonical_sha256":"6f556c25f5b20a751c1b11ee1e2fc2d15139196961690e0ab3403764bc2051eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f556c25f5b20a751c1b11ee1e2fc2d15139196961690e0ab3403764bc2051eb","first_computed_at":"2026-07-05T09:41:09.106273Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:41:09.106273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QqvlIaKsKopQpLbVRINP7VunbcpEqeJUuwSDFA/2ZnSYJ0KoIt8h3knfC06zzLJXaAhFRIjhVlBLfhLTEcH0Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T09:41:09.106674Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.17926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a1683e79b331ea4f7b4a0a47bfd235649c676848e67c125d40d20cc752b764c4","sha256:0a0b6c9f474a13d6d9d5ced2de821de19ab7d33e84e6a1bf5bfcc4ba1b91ffb6"],"state_sha256":"288278f33733f691f17803dc5fda3186c5146cce68912d1281ca2d8c3439674b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pTvtxzdqDanpqXBonW4aSsHxmwicCqjQfrHlEK5wRrnz+EWvhaLePwiw8FPhM4ZedXlGy6tX/40DwK0kgQBjDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T12:07:12.374113Z","bundle_sha256":"1302992cb0a4da693c97b6d5f940fb252ee5b3d28b3b9d50439e7ce48e6d3b63"}}