{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TBVLP2ZNOK4W7QUOR3FE3WAWKJ","short_pith_number":"pith:TBVLP2ZN","canonical_record":{"source":{"id":"1510.02229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T08:23:35Z","cross_cats_sorted":["cs.CR","cs.DC"],"title_canon_sha256":"f465d83ea76163559cc7b0ba1cff25ac6da794709554222eae6e6b23a284a0db","abstract_canon_sha256":"1f1e9103f67ad93fbfd95b490b69d6981f78f7816b0094b79ffa6bc5b0aa7f88"},"schema_version":"1.0"},"canonical_sha256":"986ab7eb2d72b96fc28e8eca4dd816527521aa316d30b39d9d8f8aec56d95068","source":{"kind":"arxiv","id":"1510.02229","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02229","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02229v1","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02229","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"pith_short_12","alias_value":"TBVLP2ZNOK4W","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TBVLP2ZNOK4W7QUO","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TBVLP2ZN","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TBVLP2ZNOK4W7QUOR3FE3WAWKJ","target":"record","payload":{"canonical_record":{"source":{"id":"1510.02229","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T08:23:35Z","cross_cats_sorted":["cs.CR","cs.DC"],"title_canon_sha256":"f465d83ea76163559cc7b0ba1cff25ac6da794709554222eae6e6b23a284a0db","abstract_canon_sha256":"1f1e9103f67ad93fbfd95b490b69d6981f78f7816b0094b79ffa6bc5b0aa7f88"},"schema_version":"1.0"},"canonical_sha256":"986ab7eb2d72b96fc28e8eca4dd816527521aa316d30b39d9d8f8aec56d95068","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:44.385244Z","signature_b64":"rTt41Wt2iN040xSbGXBVoAldl+ortuGD8WRZOghPEvc0VN0AqQAjFkXMEHs8ufgLIdGU+P9HdESgTepar8b4Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"986ab7eb2d72b96fc28e8eca4dd816527521aa316d30b39d9d8f8aec56d95068","last_reissued_at":"2026-05-18T01:30:44.384684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:44.384684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.02229","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-05-18T01:30:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XwCiQRfg25Hfph7+LvizVbjAN4XdCFSiwT5rnG8q9QY4hj9Pkt19a9A8Eh0KLGqpjK3m7g5cJ8D8t64T7mjlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:24:23.493916Z"},"content_sha256":"e45048f9b305d97232c40555280c5be32cf55c2d5b0418567a17fc7ac219c2d3","schema_version":"1.0","event_id":"sha256:e45048f9b305d97232c40555280c5be32cf55c2d5b0418567a17fc7ac219c2d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TBVLP2ZNOK4W7QUOR3FE3WAWKJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combining behavioural types with security analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.DC"],"primary_cat":"cs.PL","authors_text":"Bernardo Toninho, Hugo Torres Vieira, Ilaria Castellani, Jorge A. P\\'erez, Jovanka Pantovic, Mariangiola Dezani-Ciancaglini, Massimo Bartoletti, Peter Thiemann, Pierre-Malo Deni\\'elou, Silvia Ghilezan","submitted_at":"2015-10-08T08:23:35Z","abstract_excerpt":"Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02229","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":""},"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-05-18T01:30:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TV727V98juNPbZ5ZAucxVOyCkOKKUist2055kXDIZ/V0ULNlAsw5XijQe6fFOap9mHQW5Gyw+zr88rBtpxEMBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:24:23.494271Z"},"content_sha256":"184a65034a089b6453ac9a391ad624cff255c733c9baf1021a3b2b17cb6d672d","schema_version":"1.0","event_id":"sha256:184a65034a089b6453ac9a391ad624cff255c733c9baf1021a3b2b17cb6d672d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/bundle.json","state_url":"https://pith.science/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/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-05-27T06:24:23Z","links":{"resolver":"https://pith.science/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ","bundle":"https://pith.science/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/bundle.json","state":"https://pith.science/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TBVLP2ZNOK4W7QUOR3FE3WAWKJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TBVLP2ZNOK4W7QUOR3FE3WAWKJ","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":"1f1e9103f67ad93fbfd95b490b69d6981f78f7816b0094b79ffa6bc5b0aa7f88","cross_cats_sorted":["cs.CR","cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T08:23:35Z","title_canon_sha256":"f465d83ea76163559cc7b0ba1cff25ac6da794709554222eae6e6b23a284a0db"},"schema_version":"1.0","source":{"id":"1510.02229","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02229","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02229v1","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02229","created_at":"2026-05-18T01:30:44Z"},{"alias_kind":"pith_short_12","alias_value":"TBVLP2ZNOK4W","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TBVLP2ZNOK4W7QUO","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TBVLP2ZN","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:184a65034a089b6453ac9a391ad624cff255c733c9baf1021a3b2b17cb6d672d","target":"graph","created_at":"2026-05-18T01:30:44Z","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"},"paper":{"abstract_excerpt":"Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security and trustworthiness are crucial aspects for the correctness of these systems. Behavioural types, which extend data types by describing also the structured behaviour of programs, are a widely studied approach to the enforcement of correctness properties in communicating systems. This paper offers a unified overview of proposals based on behavioural types which are aimed at the analysis of security properties.","authors_text":"Bernardo Toninho, Hugo Torres Vieira, Ilaria Castellani, Jorge A. P\\'erez, Jovanka Pantovic, Mariangiola Dezani-Ciancaglini, Massimo Bartoletti, Peter Thiemann, Pierre-Malo Deni\\'elou, Silvia Ghilezan","cross_cats":["cs.CR","cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T08:23:35Z","title":"Combining behavioural types with security analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02229","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:e45048f9b305d97232c40555280c5be32cf55c2d5b0418567a17fc7ac219c2d3","target":"record","created_at":"2026-05-18T01:30:44Z","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":"1f1e9103f67ad93fbfd95b490b69d6981f78f7816b0094b79ffa6bc5b0aa7f88","cross_cats_sorted":["cs.CR","cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-08T08:23:35Z","title_canon_sha256":"f465d83ea76163559cc7b0ba1cff25ac6da794709554222eae6e6b23a284a0db"},"schema_version":"1.0","source":{"id":"1510.02229","kind":"arxiv","version":1}},"canonical_sha256":"986ab7eb2d72b96fc28e8eca4dd816527521aa316d30b39d9d8f8aec56d95068","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"986ab7eb2d72b96fc28e8eca4dd816527521aa316d30b39d9d8f8aec56d95068","first_computed_at":"2026-05-18T01:30:44.384684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:44.384684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rTt41Wt2iN040xSbGXBVoAldl+ortuGD8WRZOghPEvc0VN0AqQAjFkXMEHs8ufgLIdGU+P9HdESgTepar8b4Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:44.385244Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.02229","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e45048f9b305d97232c40555280c5be32cf55c2d5b0418567a17fc7ac219c2d3","sha256:184a65034a089b6453ac9a391ad624cff255c733c9baf1021a3b2b17cb6d672d"],"state_sha256":"55d140bf690c800bb80e66ba8cbe7b0f9295aac8e9c1ef3d15f8bdd750011b62"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oSnUZFkXhmPFJs9huOuqAIAfmnvPoQXYvA+XVMTUkYOWDqwzgI8iDY6F/1JDxJIc8C5VB4rCpLXxQgAX9abuAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T06:24:23.496813Z","bundle_sha256":"9da50eeadcd0d39515dcc90efafb3f72aa7e49ae5307d941d538d11988c13520"}}