{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FQOVTOKK7NUYBXVNXQ6BAL5IJ2","short_pith_number":"pith:FQOVTOKK","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"},"canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","source":{"kind":"arxiv","id":"1812.03966","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.03966","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"arxiv_version","alias_value":"1812.03966v1","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03966","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"pith_short_12","alias_value":"FQOVTOKK7NUY","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"FQOVTOKK7NUYBXVN","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"FQOVTOKK","created_at":"2026-05-18T12:32:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FQOVTOKK7NUYBXVNXQ6BAL5IJ2","target":"record","payload":{"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"},"canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","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"},"source_kind":"arxiv","source_id":"1812.03966","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-17T23:58:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BQpAVMSPjz5jaWxv7dDKammbrtEB7O0DC25EYlk2Uaf8mZhNO7f6dCW/feFOW4MpSVcPU2N3NLPWVmAqqxYmDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T02:38:22.126028Z"},"content_sha256":"e4e1396a4df58ed70eb8951ed6704206c60b1b842267099509e8ab1af67a9442","schema_version":"1.0","event_id":"sha256:e4e1396a4df58ed70eb8951ed6704206c60b1b842267099509e8ab1af67a9442"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FQOVTOKK7NUYBXVNXQ6BAL5IJ2","target":"graph","payload":{"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"},"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-17T23:58:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Roxko7yueGxNuP9IcX6z6VEpM4+ZpvJaenLGY7IFFCkxftES5DRM8+3FjG5dHIagV30S5jDMnYERKWJtlRFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T02:38:22.126388Z"},"content_sha256":"294df2a82698bf058030c57e619906d1aedbf75feb1afdcd2d172b08b7c8b825","schema_version":"1.0","event_id":"sha256:294df2a82698bf058030c57e619906d1aedbf75feb1afdcd2d172b08b7c8b825"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/bundle.json","state_url":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/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-06-07T02:38:22Z","links":{"resolver":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2","bundle":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/bundle.json","state":"https://pith.science/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FQOVTOKK7NUYBXVNXQ6BAL5IJ2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FQOVTOKK7NUYBXVNXQ6BAL5IJ2","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":"ada73972f3a8a9fa1d86bd87e08a9ed06cea4888e94c9be2e004656cc80ce0f4","cross_cats_sorted":["cs.CY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-12-10T18:31:11Z","title_canon_sha256":"4236c2a2f69461ae2589433634175e26bfdc68ed8fbbb074f829338d27a4054d"},"schema_version":"1.0","source":{"id":"1812.03966","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.03966","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"arxiv_version","alias_value":"1812.03966v1","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.03966","created_at":"2026-05-17T23:58:43Z"},{"alias_kind":"pith_short_12","alias_value":"FQOVTOKK7NUY","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"FQOVTOKK7NUYBXVN","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"FQOVTOKK","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:294df2a82698bf058030c57e619906d1aedbf75feb1afdcd2d172b08b7c8b825","target":"graph","created_at":"2026-05-17T23:58:43Z","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":"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","authors_text":"Abdullah Al Farooq, Ehab Al-Shaer, Krishna Kant, Thomas Moyer","cross_cats":["cs.CY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-12-10T18:31:11Z","title":"IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.03966","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:e4e1396a4df58ed70eb8951ed6704206c60b1b842267099509e8ab1af67a9442","target":"record","created_at":"2026-05-17T23:58:43Z","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":"ada73972f3a8a9fa1d86bd87e08a9ed06cea4888e94c9be2e004656cc80ce0f4","cross_cats_sorted":["cs.CY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2018-12-10T18:31:11Z","title_canon_sha256":"4236c2a2f69461ae2589433634175e26bfdc68ed8fbbb074f829338d27a4054d"},"schema_version":"1.0","source":{"id":"1812.03966","kind":"arxiv","version":1}},"canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c1d59b94afb6980deadbc3c102fa84eae1660f9fc0a0868bc4d342013a3fc9e","first_computed_at":"2026-05-17T23:58:43.460686Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:43.460686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZcDSZM6pU4AWo+sfAag3wU9udKvCgRmsbnHUU/6dfUIfwZdMuZQMQulMxfO1QQPEr4qjWNzgtzfHm7j2FCvdAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:43.461174Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.03966","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e4e1396a4df58ed70eb8951ed6704206c60b1b842267099509e8ab1af67a9442","sha256:294df2a82698bf058030c57e619906d1aedbf75feb1afdcd2d172b08b7c8b825"],"state_sha256":"382e0f9a418eb4a025342b2a56d53f6ee172888536c5302b848d7caec318db4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4wB7mAsSXnUdDTq2tJaM4EPQATRUFwRfvYTjuVJuKxT85AzCO3FVC0E6/++07zIrxo+dKW2bOSMwNEpidBh4CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T02:38:22.128261Z","bundle_sha256":"190e16175cde0bbcd9a4cae259be80bea23454c1df8734cae02c4c46238044f4"}}