{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:XCC2L5ENC4UQSYFEAEHSML6YWC","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":"32ae9128dd7403a8c08245a63950c32648883e6866785873250600356bed89da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-09T09:29:40Z","title_canon_sha256":"b2157164f9c1d7435a113e9262959d54ffb050652c1abf220525345870e7d916"},"schema_version":"1.0","source":{"id":"2004.04444","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.04444","created_at":"2026-07-05T00:54:34Z"},{"alias_kind":"arxiv_version","alias_value":"2004.04444v2","created_at":"2026-07-05T00:54:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.04444","created_at":"2026-07-05T00:54:34Z"},{"alias_kind":"pith_short_12","alias_value":"XCC2L5ENC4UQ","created_at":"2026-07-05T00:54:34Z"},{"alias_kind":"pith_short_16","alias_value":"XCC2L5ENC4UQSYFE","created_at":"2026-07-05T00:54:34Z"},{"alias_kind":"pith_short_8","alias_value":"XCC2L5EN","created_at":"2026-07-05T00:54:34Z"}],"graph_snapshots":[{"event_id":"sha256:64ec62ec93a771b12ded895d828765c996763714293881078aa8a32116b94d26","target":"graph","created_at":"2026-07-05T00:54:34Z","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/2004.04444/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers. In this paper, we argue that this traditional strict layering results in poor transparency across layers affecting the ability to significantly improve resiliency. We propose a contract-based methodology where components across and within the layers of the cyber-infrastructure are associated with contracts and a light-weight resilience manager. This allows the system to detect faults (contract violation monitored u","authors_text":"(2) Delta Electronics Inc., Arvind Easwaran (1), Daniel Jun Xian Ng (1), Karthik Thangamariappan (2) ((1) Nanyang Technological University, Sidharta Andalam (1), Singapore, Singapore)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-09T09:29:40Z","title":"CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.04444","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:152d2add9b5367ec5a972e86ccd36a9e6139f2ef0f4bc89032319f2635f23494","target":"record","created_at":"2026-07-05T00:54:34Z","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":"32ae9128dd7403a8c08245a63950c32648883e6866785873250600356bed89da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-04-09T09:29:40Z","title_canon_sha256":"b2157164f9c1d7435a113e9262959d54ffb050652c1abf220525345870e7d916"},"schema_version":"1.0","source":{"id":"2004.04444","kind":"arxiv","version":2}},"canonical_sha256":"b885a5f48d17290960a4010f262fd8b0b87f19a1f86c6238e56d05ba55c48eea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b885a5f48d17290960a4010f262fd8b0b87f19a1f86c6238e56d05ba55c48eea","first_computed_at":"2026-07-05T00:54:34.096850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:54:34.096850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TITtatg0rlKK+4/AyycKqRQthaWKN8O9SizYSW7KBQVXb8DhSZMGCt2alUPJ8JhyEMyT2IPP9NfEmQJ2wSe3Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T00:54:34.097349Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.04444","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:152d2add9b5367ec5a972e86ccd36a9e6139f2ef0f4bc89032319f2635f23494","sha256:64ec62ec93a771b12ded895d828765c996763714293881078aa8a32116b94d26"],"state_sha256":"7a026bb74dbae30dce53c7c858aeaf998677d3ede6d735ae0ebbe86a41dbba6e"}