{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CV4RDMTCQ6K66T56SQZRNFN2ER","short_pith_number":"pith:CV4RDMTC","canonical_record":{"source":{"id":"1711.11210","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:46:09Z","cross_cats_sorted":[],"title_canon_sha256":"25f0045cd405395da29571a2d738eba7bbfa766c1d65dc6bef2bd1f79f533abe","abstract_canon_sha256":"535763b9755638c46fa3c417ea57a097673918c37facd4383d36ac33c591008b"},"schema_version":"1.0"},"canonical_sha256":"157911b2628795ef4fbe94331695ba246a8a704f78b440b7ff07d98864e3cd77","source":{"kind":"arxiv","id":"1711.11210","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.11210","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"arxiv_version","alias_value":"1711.11210v1","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.11210","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"pith_short_12","alias_value":"CV4RDMTCQ6K6","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CV4RDMTCQ6K66T56","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CV4RDMTC","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CV4RDMTCQ6K66T56SQZRNFN2ER","target":"record","payload":{"canonical_record":{"source":{"id":"1711.11210","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:46:09Z","cross_cats_sorted":[],"title_canon_sha256":"25f0045cd405395da29571a2d738eba7bbfa766c1d65dc6bef2bd1f79f533abe","abstract_canon_sha256":"535763b9755638c46fa3c417ea57a097673918c37facd4383d36ac33c591008b"},"schema_version":"1.0"},"canonical_sha256":"157911b2628795ef4fbe94331695ba246a8a704f78b440b7ff07d98864e3cd77","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:12.203102Z","signature_b64":"qtfYdoHmfrt1QlqTQLfsRaHoTvWeny3tGwGxfiNzHOhqDBqXAWVHRdvDKwcX8B4OKEuNquKbC5taESNIaP8eAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"157911b2628795ef4fbe94331695ba246a8a704f78b440b7ff07d98864e3cd77","last_reissued_at":"2026-05-18T00:29:12.202539Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:12.202539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.11210","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-18T00:29:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k2CZDJ+3MtBOAtPK3zXWctQ0Sa/r7bqhl07f1cuuL2asG6Ql4OAnOLSB3+ghoJGhROXWnucA0+gqJBzOb5NmBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T08:38:12.512341Z"},"content_sha256":"b6c747beacd4052c60c0ce1137937af9691dd0c5e7c997b42d30043a1bf9eecb","schema_version":"1.0","event_id":"sha256:b6c747beacd4052c60c0ce1137937af9691dd0c5e7c997b42d30043a1bf9eecb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CV4RDMTCQ6K66T56SQZRNFN2ER","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tool Supported Analysis of IoT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chiara Bodei (Dipartimento di Informatica, Emilio Tuosto (Department of Informatics, Letterio Galletta (Dipartimento di Informatica, Pierpaolo Degano (Dipartimento di Informatica, Universit\\`a di Pisa), University of Leicester)","submitted_at":"2017-11-30T03:46:09Z","abstract_excerpt":"The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while the second analysis checks their communication soundness. We show how the combination of these two analyses yields further  benefits hardly achievable by separately using each of them. We exploit two independently developed tools for the analyses. \n  Firstly, we specify IoT systems in IoT-LySa, a simple specification language featuring asynchronous multicast communication of tuples. The values carried by the tuples "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.11210","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-18T00:29:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bgxht0zSF+6pY6zh26fyTHZazYUofdKBECeeTn3+v2py4RAF4m5xRDild2RHNhmYu/ye/VGBiGiSq4oI8H3WBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T08:38:12.513061Z"},"content_sha256":"3bdf770514973fefa107a3eb414e6e2287c943e34746dfcdb2ec053ccf54639b","schema_version":"1.0","event_id":"sha256:3bdf770514973fefa107a3eb414e6e2287c943e34746dfcdb2ec053ccf54639b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/bundle.json","state_url":"https://pith.science/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/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-31T08:38:12Z","links":{"resolver":"https://pith.science/pith/CV4RDMTCQ6K66T56SQZRNFN2ER","bundle":"https://pith.science/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/bundle.json","state":"https://pith.science/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CV4RDMTCQ6K66T56SQZRNFN2ER/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CV4RDMTCQ6K66T56SQZRNFN2ER","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":"535763b9755638c46fa3c417ea57a097673918c37facd4383d36ac33c591008b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:46:09Z","title_canon_sha256":"25f0045cd405395da29571a2d738eba7bbfa766c1d65dc6bef2bd1f79f533abe"},"schema_version":"1.0","source":{"id":"1711.11210","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.11210","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"arxiv_version","alias_value":"1711.11210v1","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.11210","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"pith_short_12","alias_value":"CV4RDMTCQ6K6","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CV4RDMTCQ6K66T56","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CV4RDMTC","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:3bdf770514973fefa107a3eb414e6e2287c943e34746dfcdb2ec053ccf54639b","target":"graph","created_at":"2026-05-18T00:29:12Z","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":"The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while the second analysis checks their communication soundness. We show how the combination of these two analyses yields further  benefits hardly achievable by separately using each of them. We exploit two independently developed tools for the analyses. \n  Firstly, we specify IoT systems in IoT-LySa, a simple specification language featuring asynchronous multicast communication of tuples. The values carried by the tuples ","authors_text":"Chiara Bodei (Dipartimento di Informatica, Emilio Tuosto (Department of Informatics, Letterio Galletta (Dipartimento di Informatica, Pierpaolo Degano (Dipartimento di Informatica, Universit\\`a di Pisa), University of Leicester)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:46:09Z","title":"Tool Supported Analysis of IoT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.11210","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:b6c747beacd4052c60c0ce1137937af9691dd0c5e7c997b42d30043a1bf9eecb","target":"record","created_at":"2026-05-18T00:29:12Z","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":"535763b9755638c46fa3c417ea57a097673918c37facd4383d36ac33c591008b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:46:09Z","title_canon_sha256":"25f0045cd405395da29571a2d738eba7bbfa766c1d65dc6bef2bd1f79f533abe"},"schema_version":"1.0","source":{"id":"1711.11210","kind":"arxiv","version":1}},"canonical_sha256":"157911b2628795ef4fbe94331695ba246a8a704f78b440b7ff07d98864e3cd77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"157911b2628795ef4fbe94331695ba246a8a704f78b440b7ff07d98864e3cd77","first_computed_at":"2026-05-18T00:29:12.202539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:12.202539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qtfYdoHmfrt1QlqTQLfsRaHoTvWeny3tGwGxfiNzHOhqDBqXAWVHRdvDKwcX8B4OKEuNquKbC5taESNIaP8eAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:12.203102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.11210","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6c747beacd4052c60c0ce1137937af9691dd0c5e7c997b42d30043a1bf9eecb","sha256:3bdf770514973fefa107a3eb414e6e2287c943e34746dfcdb2ec053ccf54639b"],"state_sha256":"b60cbe6ee4521e86da040d889947dbf53e54ffc27cf56e0a864ec67f4b79e4fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5XfiipJ75kSKBhBLbe72YFovfsOsFMD/axTCUU3l8nZnLDC/XPZX4I0QWqVjghktih7WygvnbgtCDrMlkglCDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T08:38:12.516782Z","bundle_sha256":"f967d50fa09322bef3af94f2697ff6e5e4800d6afdf9b5a3a9ef2bb530addeb1"}}