{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JASS4RU4IPXC2YFUMUPTSJXWNP","short_pith_number":"pith:JASS4RU4","canonical_record":{"source":{"id":"1710.00011","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-09-29T18:01:51Z","cross_cats_sorted":[],"title_canon_sha256":"e81c5fd8542a58374f21d26c4d26768377e4caf53be10aca708c96841ed1b359","abstract_canon_sha256":"79054ae0fba31f23b8a4d2c0a683fd8af44d72916aa3dc53a3ebf1ee9cbb4018"},"schema_version":"1.0"},"canonical_sha256":"48252e469c43ee2d60b4651f3926f66bf28999eb31022b15d1f4a2ce3bdb87d1","source":{"kind":"arxiv","id":"1710.00011","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.00011","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"arxiv_version","alias_value":"1710.00011v1","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.00011","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"pith_short_12","alias_value":"JASS4RU4IPXC","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"JASS4RU4IPXC2YFU","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"JASS4RU4","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JASS4RU4IPXC2YFUMUPTSJXWNP","target":"record","payload":{"canonical_record":{"source":{"id":"1710.00011","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-09-29T18:01:51Z","cross_cats_sorted":[],"title_canon_sha256":"e81c5fd8542a58374f21d26c4d26768377e4caf53be10aca708c96841ed1b359","abstract_canon_sha256":"79054ae0fba31f23b8a4d2c0a683fd8af44d72916aa3dc53a3ebf1ee9cbb4018"},"schema_version":"1.0"},"canonical_sha256":"48252e469c43ee2d60b4651f3926f66bf28999eb31022b15d1f4a2ce3bdb87d1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:58.115265Z","signature_b64":"zhmu00wNAdZphtkVefFH73RazP2pet76Vppq7Vbj+hdk0ons7ECT1ZDzytf+juhkOHYbCZOXE7skRt0Dvk7kBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48252e469c43ee2d60b4651f3926f66bf28999eb31022b15d1f4a2ce3bdb87d1","last_reissued_at":"2026-05-18T00:33:58.114603Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:58.114603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.00011","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-18T00:33:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hk3mYV7fi4nKEsmTd5ZbtwL3N81+DCwKTC/gpHocUaiXVjDv2HxTdDO5LKpyqDA88EREblvAypL4Turx1V4IBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T09:50:21.929553Z"},"content_sha256":"bb4f64bebfa000f9b383848eb44de8444f34f603dddf985de709ad40cba74f08","schema_version":"1.0","event_id":"sha256:bb4f64bebfa000f9b383848eb44de8444f34f603dddf985de709ad40cba74f08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JASS4RU4IPXC2YFUMUPTSJXWNP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Checking and Enforcing Security through Opacity in Healthcare Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Moez Yeddes, Nejib Ben Hadj-Alouane, Rym Zrelli","submitted_at":"2017-09-29T18:01:51Z","abstract_excerpt":"The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforceme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.00011","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-18T00:33:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aYOgY1hr5kpFRDgaIYr7PtcD68AlMUZNGfGtWr57AT/LxW0myVbGosBYYt8cYdtX3OIFMxGg2hmTKurf7MAyBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T09:50:21.929901Z"},"content_sha256":"37a42a8aadcf5944664e645b98eeca2d839aa89e11435455d0f7a10228087e56","schema_version":"1.0","event_id":"sha256:37a42a8aadcf5944664e645b98eeca2d839aa89e11435455d0f7a10228087e56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/bundle.json","state_url":"https://pith.science/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/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-26T09:50:21Z","links":{"resolver":"https://pith.science/pith/JASS4RU4IPXC2YFUMUPTSJXWNP","bundle":"https://pith.science/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/bundle.json","state":"https://pith.science/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JASS4RU4IPXC2YFUMUPTSJXWNP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JASS4RU4IPXC2YFUMUPTSJXWNP","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":"79054ae0fba31f23b8a4d2c0a683fd8af44d72916aa3dc53a3ebf1ee9cbb4018","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-09-29T18:01:51Z","title_canon_sha256":"e81c5fd8542a58374f21d26c4d26768377e4caf53be10aca708c96841ed1b359"},"schema_version":"1.0","source":{"id":"1710.00011","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.00011","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"arxiv_version","alias_value":"1710.00011v1","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.00011","created_at":"2026-05-18T00:33:58Z"},{"alias_kind":"pith_short_12","alias_value":"JASS4RU4IPXC","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"JASS4RU4IPXC2YFU","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"JASS4RU4","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:37a42a8aadcf5944664e645b98eeca2d839aa89e11435455d0f7a10228087e56","target":"graph","created_at":"2026-05-18T00:33:58Z","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":"The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT in health care against interference, including service attacks and malwares, is challenging. Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this work, we seek to introduce an IoT-based heart attack detection system, that could be life-saving for patients without risking their need for privacy through the verification and enforceme","authors_text":"Moez Yeddes, Nejib Ben Hadj-Alouane, Rym Zrelli","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-09-29T18:01:51Z","title":"Checking and Enforcing Security through Opacity in Healthcare Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.00011","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:bb4f64bebfa000f9b383848eb44de8444f34f603dddf985de709ad40cba74f08","target":"record","created_at":"2026-05-18T00:33:58Z","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":"79054ae0fba31f23b8a4d2c0a683fd8af44d72916aa3dc53a3ebf1ee9cbb4018","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-09-29T18:01:51Z","title_canon_sha256":"e81c5fd8542a58374f21d26c4d26768377e4caf53be10aca708c96841ed1b359"},"schema_version":"1.0","source":{"id":"1710.00011","kind":"arxiv","version":1}},"canonical_sha256":"48252e469c43ee2d60b4651f3926f66bf28999eb31022b15d1f4a2ce3bdb87d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48252e469c43ee2d60b4651f3926f66bf28999eb31022b15d1f4a2ce3bdb87d1","first_computed_at":"2026-05-18T00:33:58.114603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:58.114603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zhmu00wNAdZphtkVefFH73RazP2pet76Vppq7Vbj+hdk0ons7ECT1ZDzytf+juhkOHYbCZOXE7skRt0Dvk7kBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:58.115265Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.00011","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb4f64bebfa000f9b383848eb44de8444f34f603dddf985de709ad40cba74f08","sha256:37a42a8aadcf5944664e645b98eeca2d839aa89e11435455d0f7a10228087e56"],"state_sha256":"1c8a6dae606ffc2656b4f71f7b30986af06b7de9fc0c6e1bb57c958740ba8c88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tQIF1IyUe3NDJrWut66ifhLJATV3dlLcK6V5aw6QJi8Tyz0ub0pYaaY13F1hhVmwq8Lv3utzCWEFz7h+x7o+Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T09:50:21.931994Z","bundle_sha256":"d1ccbc2ebf3da4cdd452ce3ea4b1e412a8782363a204014b8a4f062223bff5f9"}}