{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:FQOVTOKK7NUYBXVNXQ6BAL5IJ2","short_pith_number":"pith:FQOVTOKK","schema_version":"1.0","canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","source":{"kind":"arxiv","id":"1812.03966","version":1},"attestation_state":"computed","paper":{"title":"IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CY"],"primary_cat":"cs.CR","authors_text":"Abdullah Al Farooq, Ehab Al-Shaer, Krishna Kant, Thomas Moyer","submitted_at":"2018-12-10T18:31:11Z","abstract_excerpt":"Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its interoperable functionality, it is now possible to connect all domains of IoT together for providing competent services to the users. Because numerous IoT devices can connect and communicate at the same time, there can be events that trigger conflicting actions to an actuator or an environmental feature. However, there have been very few research efforts made to detect conflicting situation in IoT system using forma"},"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":"1812.03966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-12-10T18:31:11Z","cross_cats_sorted":["cs.CY"],"title_canon_sha256":"4236c2a2f69461ae2589433634175e26bfdc68ed8fbbb074f829338d27a4054d","abstract_canon_sha256":"ada73972f3a8a9fa1d86bd87e08a9ed06cea4888e94c9be2e004656cc80ce0f4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:43.461174Z","signature_b64":"ZcDSZM6pU4AWo+sfAag3wU9udKvCgRmsbnHUU/6dfUIfwZdMuZQMQulMxfO1QQPEr4qjWNzgtzfHm7j2FCvdAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","last_reissued_at":"2026-05-17T23:58:43.460686Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:43.460686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CY"],"primary_cat":"cs.CR","authors_text":"Abdullah Al Farooq, Ehab Al-Shaer, Krishna Kant, Thomas Moyer","submitted_at":"2018-12-10T18:31:11Z","abstract_excerpt":"Internet of Things (IoT) has become a common paradigm for different domains such as health care, transportation infrastructure, smart home, smart shopping, and e-commerce. With its interoperable functionality, it is now possible to connect all domains of IoT together for providing competent services to the users. Because numerous IoT devices can connect and communicate at the same time, there can be events that trigger conflicting actions to an actuator or an environmental feature. However, there have been very few research efforts made to detect conflicting situation in IoT system using forma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.03966","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":"1812.03966","created_at":"2026-05-17T23:58:43.460756+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.03966v1","created_at":"2026-05-17T23:58:43.460756+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03966","created_at":"2026-05-17T23:58:43.460756+00:00"},{"alias_kind":"pith_short_12","alias_value":"FQOVTOKK7NUY","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"FQOVTOKK7NUYBXVN","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"FQOVTOKK","created_at":"2026-05-18T12:32:25.280505+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/FQOVTOKK7NUYBXVNXQ6BAL5IJ2","json":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2.json","graph_json":"https://pith.science/api/pith-number/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/graph.json","events_json":"https://pith.science/api/pith-number/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/events.json","paper":"https://pith.science/paper/FQOVTOKK"},"agent_actions":{"view_html":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2","download_json":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2.json","view_paper":"https://pith.science/paper/FQOVTOKK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.03966&json=true","fetch_graph":"https://pith.science/api/pith-number/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/graph.json","fetch_events":"https://pith.science/api/pith-number/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/action/storage_attestation","attest_author":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/action/author_attestation","sign_citation":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/action/citation_signature","submit_replication":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/action/replication_record"}},"created_at":"2026-05-17T23:58:43.460756+00:00","updated_at":"2026-05-17T23:58:43.460756+00:00"}