{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:EWLREFCRFHKHKDX3XJJ57REPRB","short_pith_number":"pith:EWLREFCR","schema_version":"1.0","canonical_sha256":"259712145129d4750efbba53dfc48f884e3234589cac763643986bb578a621cc","source":{"kind":"arxiv","id":"1608.03327","version":1},"attestation_state":"computed","paper":{"title":"A Step Towards Checking Security in IoT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Chiara Bodei (Dipartimento di Informatica, Gian-Luigi Ferrari (Dipartimento di Informatica, Letterio Galletta (Dipartimento di Informatica, Pierpaolo Degano (Dipartimento di Informatica, Universit\\`a di Pisa)","submitted_at":"2016-08-11T00:26:43Z","abstract_excerpt":"The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties."},"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":"1608.03327","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-11T00:26:43Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"e1ebc48dd22c807ad6518a8c2c823b03c16199d3ef0fc5d4d73d53af4456b902","abstract_canon_sha256":"3a5ae18ee8db44d6b697ef93f1f8928c924f4d4f580793dc292a8e7abcb6cac6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:29.145425Z","signature_b64":"XlVZqXkWUIxdEXh6R0yyQbVIjPlmmUDWopRlQXK6ZN+G9B0j6QfmH9Q7VZqECnPvNa5Jc359xWbgSMgfAdqNBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"259712145129d4750efbba53dfc48f884e3234589cac763643986bb578a621cc","last_reissued_at":"2026-05-18T01:09:29.144988Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:29.144988Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Step Towards Checking Security in IoT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Chiara Bodei (Dipartimento di Informatica, Gian-Luigi Ferrari (Dipartimento di Informatica, Letterio Galletta (Dipartimento di Informatica, Pierpaolo Degano (Dipartimento di Informatica, Universit\\`a di Pisa)","submitted_at":"2016-08-11T00:26:43Z","abstract_excerpt":"The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.03327","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1608.03327","created_at":"2026-05-18T01:09:29.145061+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.03327v1","created_at":"2026-05-18T01:09:29.145061+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.03327","created_at":"2026-05-18T01:09:29.145061+00:00"},{"alias_kind":"pith_short_12","alias_value":"EWLREFCRFHKH","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"EWLREFCRFHKHKDX3","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"EWLREFCR","created_at":"2026-05-18T12:30:15.759754+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/EWLREFCRFHKHKDX3XJJ57REPRB","json":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB.json","graph_json":"https://pith.science/api/pith-number/EWLREFCRFHKHKDX3XJJ57REPRB/graph.json","events_json":"https://pith.science/api/pith-number/EWLREFCRFHKHKDX3XJJ57REPRB/events.json","paper":"https://pith.science/paper/EWLREFCR"},"agent_actions":{"view_html":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB","download_json":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB.json","view_paper":"https://pith.science/paper/EWLREFCR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.03327&json=true","fetch_graph":"https://pith.science/api/pith-number/EWLREFCRFHKHKDX3XJJ57REPRB/graph.json","fetch_events":"https://pith.science/api/pith-number/EWLREFCRFHKHKDX3XJJ57REPRB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB/action/storage_attestation","attest_author":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB/action/author_attestation","sign_citation":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB/action/citation_signature","submit_replication":"https://pith.science/pith/EWLREFCRFHKHKDX3XJJ57REPRB/action/replication_record"}},"created_at":"2026-05-18T01:09:29.145061+00:00","updated_at":"2026-05-18T01:09:29.145061+00:00"}