{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:XYKNINGUX3KJL7ORT5DKWIELKV","short_pith_number":"pith:XYKNINGU","schema_version":"1.0","canonical_sha256":"be14d434d4bed495fdd19f46ab208b5548ab10f7f312c02ad46bd3ac9dd4b832","source":{"kind":"arxiv","id":"1610.08419","version":3},"attestation_state":"computed","paper":{"title":"Tracing where IoT data are collected and aggregated","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano","submitted_at":"2016-10-26T16:55:14Z","abstract_excerpt":"The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and "},"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":"1610.08419","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-10-26T16:55:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"52e9c54ea1f008f5413dda492c70bfd5e12cebf948cbc98118650d84a3bb68bf","abstract_canon_sha256":"d2b5713a540831002eaab283f2d4ccc0a3b9e5d4038d5d69670eade3cb08ab4d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:17.926765Z","signature_b64":"hWblwd3SlgeJIs0EafKbsSP+irxfjdT4QF8DQKsBrFlt0X+DPU9BrNk6jxBEG24e83oRzmK4g58NA9tTAlrRBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be14d434d4bed495fdd19f46ab208b5548ab10f7f312c02ad46bd3ac9dd4b832","last_reissued_at":"2026-07-05T06:23:17.926352Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:17.926352Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tracing where IoT data are collected and aggregated","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano","submitted_at":"2016-10-26T16:55:14Z","abstract_excerpt":"The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.08419","kind":"arxiv","version":3},"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/1610.08419/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":"1610.08419","created_at":"2026-07-05T06:23:17.926440+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.08419v3","created_at":"2026-07-05T06:23:17.926440+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.08419","created_at":"2026-07-05T06:23:17.926440+00:00"},{"alias_kind":"pith_short_12","alias_value":"XYKNINGUX3KJ","created_at":"2026-07-05T06:23:17.926440+00:00"},{"alias_kind":"pith_short_16","alias_value":"XYKNINGUX3KJL7OR","created_at":"2026-07-05T06:23:17.926440+00:00"},{"alias_kind":"pith_short_8","alias_value":"XYKNINGU","created_at":"2026-07-05T06:23:17.926440+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV","json":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV.json","graph_json":"https://pith.science/api/pith-number/XYKNINGUX3KJL7ORT5DKWIELKV/graph.json","events_json":"https://pith.science/api/pith-number/XYKNINGUX3KJL7ORT5DKWIELKV/events.json","paper":"https://pith.science/paper/XYKNINGU"},"agent_actions":{"view_html":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV","download_json":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV.json","view_paper":"https://pith.science/paper/XYKNINGU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.08419&json=true","fetch_graph":"https://pith.science/api/pith-number/XYKNINGUX3KJL7ORT5DKWIELKV/graph.json","fetch_events":"https://pith.science/api/pith-number/XYKNINGUX3KJL7ORT5DKWIELKV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV/action/storage_attestation","attest_author":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV/action/author_attestation","sign_citation":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV/action/citation_signature","submit_replication":"https://pith.science/pith/XYKNINGUX3KJL7ORT5DKWIELKV/action/replication_record"}},"created_at":"2026-07-05T06:23:17.926440+00:00","updated_at":"2026-07-05T06:23:17.926440+00:00"}