{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QB7GLJGFGVXD57ZPYOIVM7RQX6","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":"7ed2e04f1854c42a6efd285f3267b3d43f40ce357e487333695e914dd61fc615","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-10T02:51:35Z","title_canon_sha256":"a3161492026b1b51e01bf0c929acc4e7e1144ea7a7d3cc8f6fb693aca3845664"},"schema_version":"1.0","source":{"id":"1905.03915","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03915","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03915v1","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03915","created_at":"2026-05-17T23:46:35Z"},{"alias_kind":"pith_short_12","alias_value":"QB7GLJGFGVXD","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"QB7GLJGFGVXD57ZP","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"QB7GLJGF","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:82a39a9447c9fc212978e63c10c0ababedd77acbbc83667c447a1dbfba6d3e5e","target":"graph","created_at":"2026-05-17T23:46:35Z","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":"Hardware/Software (HW/SW) interfaces, mostly implemented as devices and device drivers, are pervasive in various computer systems. Nowadays HW/SW interfaces typically undergo intensive testing and validation before release, but they are still unreliable and insecure when deployed together with computer systems to end users. Escaped logic bugs, hardware transient failures, and malicious exploits are prevalent in HW/SW interactions, making the entire system vulnerable and unstable.\n  We present HW/SW co-monitoring, a runtime co-verification approach to detecting failures and malicious exploits i","authors_text":"Bo Chen, Fei Xie, Kai Cong, Li Lei, Zhenkun Yang","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-10T02:51:35Z","title":"Hardware/Software Co-monitoring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03915","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:b296a5dff5a2d7e170c8f8402b286222f7a5201660ed7b165be9b2b264d89f9d","target":"record","created_at":"2026-05-17T23:46:35Z","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":"7ed2e04f1854c42a6efd285f3267b3d43f40ce357e487333695e914dd61fc615","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-10T02:51:35Z","title_canon_sha256":"a3161492026b1b51e01bf0c929acc4e7e1144ea7a7d3cc8f6fb693aca3845664"},"schema_version":"1.0","source":{"id":"1905.03915","kind":"arxiv","version":1}},"canonical_sha256":"807e65a4c5356e3eff2fc391567e30bf98ff49d4fe87435e0f1fc1056ae02f66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"807e65a4c5356e3eff2fc391567e30bf98ff49d4fe87435e0f1fc1056ae02f66","first_computed_at":"2026-05-17T23:46:35.192421Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:35.192421Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lyFMVkDsnjoqwkXcQ3ZCC4VY9ZUOYgXjrrCT1gkCDRMPlTeky+QbdqI9/JBFbmcEUX75lsCB8wum+U7PREb2DA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:35.193041Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03915","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b296a5dff5a2d7e170c8f8402b286222f7a5201660ed7b165be9b2b264d89f9d","sha256:82a39a9447c9fc212978e63c10c0ababedd77acbbc83667c447a1dbfba6d3e5e"],"state_sha256":"a27dee3091022851aed9fd8fdad19870d970e143e8a7a6b92b9615ffb002e577"}