{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:DE2KQ2YLERLXD62VL6JPIU6ALU","short_pith_number":"pith:DE2KQ2YL","canonical_record":{"source":{"id":"2105.09150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-05-19T14:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"b2790afe7d0975ddb189c481fcdf6b834e9ea9df507a1a967393560ed8c8101d","abstract_canon_sha256":"9a073c5fed279bb40292788a60e9cffed4995419582d156cad233e302453cc14"},"schema_version":"1.0"},"canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","source":{"kind":"arxiv","id":"2105.09150","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.09150","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"arxiv_version","alias_value":"2105.09150v2","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.09150","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_12","alias_value":"DE2KQ2YLERLX","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_16","alias_value":"DE2KQ2YLERLXD62V","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_8","alias_value":"DE2KQ2YL","created_at":"2026-07-05T04:11:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:DE2KQ2YLERLXD62VL6JPIU6ALU","target":"record","payload":{"canonical_record":{"source":{"id":"2105.09150","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-05-19T14:14:13Z","cross_cats_sorted":[],"title_canon_sha256":"b2790afe7d0975ddb189c481fcdf6b834e9ea9df507a1a967393560ed8c8101d","abstract_canon_sha256":"9a073c5fed279bb40292788a60e9cffed4995419582d156cad233e302453cc14"},"schema_version":"1.0"},"canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:11:24.636611Z","signature_b64":"SLrm6bf7ejfSDdSeb2xMqki91GLbLt/X44mDmkZTllkGdTXaa6YM4nymv78OIA2yPg4OtCKkPEYaRnnsGaInDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","last_reissued_at":"2026-07-05T04:11:24.636119Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:11:24.636119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.09150","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:11:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yAIbhYLf1zdZd1j4e5HM6iWfCwKpiEfIWLgMDFHXGoMaIPk5cpHZtSbSn678UvSZ4it6DoI2VAFEnTAJIghiDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:25:34.522115Z"},"content_sha256":"cb6edeb525afd01310ef39f5ec504c346d552c6fd03aac7d43a6f844d1343f77","schema_version":"1.0","event_id":"sha256:cb6edeb525afd01310ef39f5ec504c346d552c6fd03aac7d43a6f844d1343f77"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:DE2KQ2YLERLXD62VL6JPIU6ALU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automating Cryptographic Protocol Language Generation from Structured Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Luca Arnaboldi, Roberto Metere","submitted_at":"2021-05-19T14:14:13Z","abstract_excerpt":"Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysis, verification, and the interpretation of the specification is only explained in papers. Rather, we focus on the interpretation and modelling part by presenting a tool to aid the cryptographer throughout the process and automatically generating code in a target language. We adopt a data-centric approach where the protocol design is stored in a structured way rather than as textual specifications. Previous work shows"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.09150","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/2105.09150/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:11:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5wKZrQo/+CDKopghKQIbHj4bppRWrIdMctI93KnLSJC3EeXrP6piTwASxuDzxXEZTHRdInhLK7MU7ykGDzgYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:25:34.522636Z"},"content_sha256":"8f2d95860a2807c90ca0aca749ba7bdf778b811ac731738364bac9a9ca744ede","schema_version":"1.0","event_id":"sha256:8f2d95860a2807c90ca0aca749ba7bdf778b811ac731738364bac9a9ca744ede"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/bundle.json","state_url":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/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-13T16:25:34Z","links":{"resolver":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU","bundle":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/bundle.json","state":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:DE2KQ2YLERLXD62VL6JPIU6ALU","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":"9a073c5fed279bb40292788a60e9cffed4995419582d156cad233e302453cc14","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-05-19T14:14:13Z","title_canon_sha256":"b2790afe7d0975ddb189c481fcdf6b834e9ea9df507a1a967393560ed8c8101d"},"schema_version":"1.0","source":{"id":"2105.09150","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.09150","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"arxiv_version","alias_value":"2105.09150v2","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.09150","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_12","alias_value":"DE2KQ2YLERLX","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_16","alias_value":"DE2KQ2YLERLXD62V","created_at":"2026-07-05T04:11:24Z"},{"alias_kind":"pith_short_8","alias_value":"DE2KQ2YL","created_at":"2026-07-05T04:11:24Z"}],"graph_snapshots":[{"event_id":"sha256:8f2d95860a2807c90ca0aca749ba7bdf778b811ac731738364bac9a9ca744ede","target":"graph","created_at":"2026-07-05T04:11:24Z","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/2105.09150/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysis, verification, and the interpretation of the specification is only explained in papers. Rather, we focus on the interpretation and modelling part by presenting a tool to aid the cryptographer throughout the process and automatically generating code in a target language. We adopt a data-centric approach where the protocol design is stored in a structured way rather than as textual specifications. Previous work shows","authors_text":"Luca Arnaboldi, Roberto Metere","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-05-19T14:14:13Z","title":"Automating Cryptographic Protocol Language Generation from Structured Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.09150","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:cb6edeb525afd01310ef39f5ec504c346d552c6fd03aac7d43a6f844d1343f77","target":"record","created_at":"2026-07-05T04:11:24Z","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":"9a073c5fed279bb40292788a60e9cffed4995419582d156cad233e302453cc14","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-05-19T14:14:13Z","title_canon_sha256":"b2790afe7d0975ddb189c481fcdf6b834e9ea9df507a1a967393560ed8c8101d"},"schema_version":"1.0","source":{"id":"2105.09150","kind":"arxiv","version":2}},"canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","first_computed_at":"2026-07-05T04:11:24.636119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:11:24.636119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SLrm6bf7ejfSDdSeb2xMqki91GLbLt/X44mDmkZTllkGdTXaa6YM4nymv78OIA2yPg4OtCKkPEYaRnnsGaInDg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:11:24.636611Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.09150","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb6edeb525afd01310ef39f5ec504c346d552c6fd03aac7d43a6f844d1343f77","sha256:8f2d95860a2807c90ca0aca749ba7bdf778b811ac731738364bac9a9ca744ede"],"state_sha256":"68dbf5efebbc9435e3998277b588ecceb53b4aaabbe2a6f9d1bf443ecc5cfead"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qvNvJslDJyD5dR3yJ4FQcdt/aTNOO0kcfZ3EtmKRQ31Hv5rdiXvQT5Q/44AKw1HPPBT43SNtuL25tdpxJzbUDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T16:25:34.532972Z","bundle_sha256":"f69f54179a64843da339c47de99389297426515c93c9502e2ce7002a865c367b"}}