{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:DE2KQ2YLERLXD62VL6JPIU6ALU","short_pith_number":"pith:DE2KQ2YL","schema_version":"1.0","canonical_sha256":"1934a86b0b245771fb555f92f453c05d042475112f879c11b2785dfeaac2b71c","source":{"kind":"arxiv","id":"2105.09150","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2105.09150","created_at":"2026-07-05T04:11:24.636181+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.09150v2","created_at":"2026-07-05T04:11:24.636181+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.09150","created_at":"2026-07-05T04:11:24.636181+00:00"},{"alias_kind":"pith_short_12","alias_value":"DE2KQ2YLERLX","created_at":"2026-07-05T04:11:24.636181+00:00"},{"alias_kind":"pith_short_16","alias_value":"DE2KQ2YLERLXD62V","created_at":"2026-07-05T04:11:24.636181+00:00"},{"alias_kind":"pith_short_8","alias_value":"DE2KQ2YL","created_at":"2026-07-05T04:11:24.636181+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.17926","citing_title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","ref_index":89,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU","json":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU.json","graph_json":"https://pith.science/api/pith-number/DE2KQ2YLERLXD62VL6JPIU6ALU/graph.json","events_json":"https://pith.science/api/pith-number/DE2KQ2YLERLXD62VL6JPIU6ALU/events.json","paper":"https://pith.science/paper/DE2KQ2YL"},"agent_actions":{"view_html":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU","download_json":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU.json","view_paper":"https://pith.science/paper/DE2KQ2YL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.09150&json=true","fetch_graph":"https://pith.science/api/pith-number/DE2KQ2YLERLXD62VL6JPIU6ALU/graph.json","fetch_events":"https://pith.science/api/pith-number/DE2KQ2YLERLXD62VL6JPIU6ALU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/action/storage_attestation","attest_author":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/action/author_attestation","sign_citation":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/action/citation_signature","submit_replication":"https://pith.science/pith/DE2KQ2YLERLXD62VL6JPIU6ALU/action/replication_record"}},"created_at":"2026-07-05T04:11:24.636181+00:00","updated_at":"2026-07-05T04:11:24.636181+00:00"}