{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KBK7Q332Z3VV5X4XP6HD6KYEWB","short_pith_number":"pith:KBK7Q332","canonical_record":{"source":{"id":"1912.13410","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-12-31T16:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"816e2f8d383b33cdc9228374e506da920abfdee1da2970a31d4df1a249bca772","abstract_canon_sha256":"d0b35d5564774c753039a9dca6424775b55bb98d65074ed514207daa4efd922d"},"schema_version":"1.0"},"canonical_sha256":"5055f86f7aceeb5edf977f8e3f2b04b0632cb8083f8a2a587c7207a7a2b05f2c","source":{"kind":"arxiv","id":"1912.13410","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.13410","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"arxiv_version","alias_value":"1912.13410v2","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.13410","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_12","alias_value":"KBK7Q332Z3VV","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_16","alias_value":"KBK7Q332Z3VV5X4X","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_8","alias_value":"KBK7Q332","created_at":"2026-07-05T00:45:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KBK7Q332Z3VV5X4XP6HD6KYEWB","target":"record","payload":{"canonical_record":{"source":{"id":"1912.13410","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-12-31T16:50:24Z","cross_cats_sorted":[],"title_canon_sha256":"816e2f8d383b33cdc9228374e506da920abfdee1da2970a31d4df1a249bca772","abstract_canon_sha256":"d0b35d5564774c753039a9dca6424775b55bb98d65074ed514207daa4efd922d"},"schema_version":"1.0"},"canonical_sha256":"5055f86f7aceeb5edf977f8e3f2b04b0632cb8083f8a2a587c7207a7a2b05f2c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:45:18.032856Z","signature_b64":"Szi6I6JtaxssPxDqGbRmxfcfvHoNeblRT/CVgQYahVmH2kNN/TBMm0oWD4mUBFuP9bks/rX+BwAXsoCcn80HCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5055f86f7aceeb5edf977f8e3f2b04b0632cb8083f8a2a587c7207a7a2b05f2c","last_reissued_at":"2026-07-05T00:45:18.032428Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:45:18.032428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1912.13410","source_version":2,"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-07-05T00:45:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tV82QiksUyOg3n9B/q92xiNzLO8sFqvZxrfGPOFAqgsJy4B7hLJWfLQYb6nIU+QvDYwV1nRYmMdUG9B/haUwBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:51:03.143169Z"},"content_sha256":"4a051066cdbadf554f83f0c48966f7e1509f285be7a3708228829ae82d989f3c","schema_version":"1.0","event_id":"sha256:4a051066cdbadf554f83f0c48966f7e1509f285be7a3708228829ae82d989f3c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KBK7Q332Z3VV5X4XP6HD6KYEWB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic Bugs in IoT Platforms and Systems: A Review","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Chen Cao, Dongdong Huo, Kai Cheng, Lan Zhang, Le Guan, Limin Sun, Peng Liu, Tao Liu, Wei Zhou, Yaowen Zheng, Yazhe Wang, Yuqing Zhang","submitted_at":"2019-12-31T16:50:24Z","abstract_excerpt":"In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper seeks to provide a review of the recently discovered logic bugs that are specific to IoT platforms and systems. In particular, 17 logic bugs and one weakness falling into seven categories of vulnerabil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.13410","kind":"arxiv","version":2},"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/1912.13410/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"},"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-07-05T00:45:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKMQflhyHUhY9hEjzRH/LzrHp3vmb2SBzBqfQ3o6FFLz0RdFmDPZuaeL+kTo3CLB2DfociLW42ODvqfqY2PgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:51:03.143836Z"},"content_sha256":"f219e45a343c154ec3eec8c718b0204440062ceb1b00263d558233505dfe7134","schema_version":"1.0","event_id":"sha256:f219e45a343c154ec3eec8c718b0204440062ceb1b00263d558233505dfe7134"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/bundle.json","state_url":"https://pith.science/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/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-08-06T07:51:03Z","links":{"resolver":"https://pith.science/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB","bundle":"https://pith.science/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/bundle.json","state":"https://pith.science/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KBK7Q332Z3VV5X4XP6HD6KYEWB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KBK7Q332Z3VV5X4XP6HD6KYEWB","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":"d0b35d5564774c753039a9dca6424775b55bb98d65074ed514207daa4efd922d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-12-31T16:50:24Z","title_canon_sha256":"816e2f8d383b33cdc9228374e506da920abfdee1da2970a31d4df1a249bca772"},"schema_version":"1.0","source":{"id":"1912.13410","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.13410","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"arxiv_version","alias_value":"1912.13410v2","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.13410","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_12","alias_value":"KBK7Q332Z3VV","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_16","alias_value":"KBK7Q332Z3VV5X4X","created_at":"2026-07-05T00:45:18Z"},{"alias_kind":"pith_short_8","alias_value":"KBK7Q332","created_at":"2026-07-05T00:45:18Z"}],"graph_snapshots":[{"event_id":"sha256:f219e45a343c154ec3eec8c718b0204440062ceb1b00263d558233505dfe7134","target":"graph","created_at":"2026-07-05T00:45:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1912.13410/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually being increased in terms of the interactions between the physical world and cyberspace. The increased complexity indeed results in new vulnerabilities. This paper seeks to provide a review of the recently discovered logic bugs that are specific to IoT platforms and systems. In particular, 17 logic bugs and one weakness falling into seven categories of vulnerabil","authors_text":"Chen Cao, Dongdong Huo, Kai Cheng, Lan Zhang, Le Guan, Limin Sun, Peng Liu, Tao Liu, Wei Zhou, Yaowen Zheng, Yazhe Wang, Yuqing Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-12-31T16:50:24Z","title":"Logic Bugs in IoT Platforms and Systems: A Review"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.13410","kind":"arxiv","version":2},"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:4a051066cdbadf554f83f0c48966f7e1509f285be7a3708228829ae82d989f3c","target":"record","created_at":"2026-07-05T00:45:18Z","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":"d0b35d5564774c753039a9dca6424775b55bb98d65074ed514207daa4efd922d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-12-31T16:50:24Z","title_canon_sha256":"816e2f8d383b33cdc9228374e506da920abfdee1da2970a31d4df1a249bca772"},"schema_version":"1.0","source":{"id":"1912.13410","kind":"arxiv","version":2}},"canonical_sha256":"5055f86f7aceeb5edf977f8e3f2b04b0632cb8083f8a2a587c7207a7a2b05f2c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5055f86f7aceeb5edf977f8e3f2b04b0632cb8083f8a2a587c7207a7a2b05f2c","first_computed_at":"2026-07-05T00:45:18.032428Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:45:18.032428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Szi6I6JtaxssPxDqGbRmxfcfvHoNeblRT/CVgQYahVmH2kNN/TBMm0oWD4mUBFuP9bks/rX+BwAXsoCcn80HCw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:45:18.032856Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.13410","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a051066cdbadf554f83f0c48966f7e1509f285be7a3708228829ae82d989f3c","sha256:f219e45a343c154ec3eec8c718b0204440062ceb1b00263d558233505dfe7134"],"state_sha256":"745dce65124f052155533b196bcf39eb30a55bf112a3f87fbd15f41bd0081115"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5W4lUbjzgaHiEIGnxCg7dYGmroCXDm3xjvp27p8WtbYIIpvzkRo0RrXW7lL6bIf5CGjeCEH1ERRv/mVXIWeKAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T07:51:03.149682Z","bundle_sha256":"41bad18cf01c3b5c67de62074a38b160fdee23cf5b722f70ad18fc1a333ad16b"}}