{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CDYBHYWCUG5RHV3JGLVCZ6HAPB","short_pith_number":"pith:CDYBHYWC","canonical_record":{"source":{"id":"1701.08676","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2017-01-30T16:17:19Z","cross_cats_sorted":[],"title_canon_sha256":"69d8e47dee304acf9ee24ddee0502cff735d46f76eba35f82e6aa41b752146fc","abstract_canon_sha256":"455c945886b5c4624a14d574c8b155394ebe24ebc1926735d02a712eb6d2e0cd"},"schema_version":"1.0"},"canonical_sha256":"10f013e2c2a1bb13d76932ea2cf8e0785b42160887d580b44969f4590c5df274","source":{"kind":"arxiv","id":"1701.08676","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.08676","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1701.08676v2","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08676","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"CDYBHYWCUG5R","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CDYBHYWCUG5RHV3J","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CDYBHYWC","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CDYBHYWCUG5RHV3JGLVCZ6HAPB","target":"record","payload":{"canonical_record":{"source":{"id":"1701.08676","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2017-01-30T16:17:19Z","cross_cats_sorted":[],"title_canon_sha256":"69d8e47dee304acf9ee24ddee0502cff735d46f76eba35f82e6aa41b752146fc","abstract_canon_sha256":"455c945886b5c4624a14d574c8b155394ebe24ebc1926735d02a712eb6d2e0cd"},"schema_version":"1.0"},"canonical_sha256":"10f013e2c2a1bb13d76932ea2cf8e0785b42160887d580b44969f4590c5df274","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:14.727572Z","signature_b64":"DlDbN9m/hFn4PEoCH3A2Cid9Pp4DCMjMxIehn8fyeCJsB3NpREdHanSGHyuUG2ZQ6T/zgRm+jwxR92MH8AX6BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10f013e2c2a1bb13d76932ea2cf8e0785b42160887d580b44969f4590c5df274","last_reissued_at":"2026-05-18T00:10:14.726934Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:14.726934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.08676","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-05-18T00:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/A2pMXfCPBq/Hhstl7XYt7ghZzP/FlJToz0mnDgxLLLZZhKYjBd/0RzkOpSFAh5mSWYpxgTwYH59B4kvU5BEAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:24:53.717420Z"},"content_sha256":"f1f5e73a7f504aa48f47824b55e3d10db5071bc363375eb5a4bc8920ef76029b","schema_version":"1.0","event_id":"sha256:f1f5e73a7f504aa48f47824b55e3d10db5071bc363375eb5a4bc8920ef76029b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CDYBHYWCUG5RHV3JGLVCZ6HAPB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated verification of dynamic root of trust protocols (long version)","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Christian Johansen, Sergiu Bursuc, Shiwei Xu","submitted_at":"2017-01-30T16:17:19Z","abstract_excerpt":"Automated verification of security protocols based on dynamic root of trust, typically relying on protected hardware such as TPM, involves several challenges that we address in this paper. We model the semantics of trusted computing platforms (including CPU, TPM, OS, and other essential components) and of associated protocols in a classical process calculus accepted by ProVerif. As part of the formalization effort, we introduce new equational theories for representing TPM specific platform states and dynamically loaded programs. Formal models for such an extensive set of features cannot be rea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08676","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":""},"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:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vmQVZ79wzr3xKDfHSyiaET9Ho5F182tsa6mZ3EOW9n8Y8D5W9I7/9Q2q/VS7Iskt+RjDGBN+4Tv5GdIKL2NIAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:24:53.717774Z"},"content_sha256":"69a6fd410db3faa9dc17e03335ccc5dc788f8efc7a50eba5cf13b8614327d4e4","schema_version":"1.0","event_id":"sha256:69a6fd410db3faa9dc17e03335ccc5dc788f8efc7a50eba5cf13b8614327d4e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/bundle.json","state_url":"https://pith.science/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/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-02T18:24:53Z","links":{"resolver":"https://pith.science/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB","bundle":"https://pith.science/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/bundle.json","state":"https://pith.science/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CDYBHYWCUG5RHV3JGLVCZ6HAPB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CDYBHYWCUG5RHV3JGLVCZ6HAPB","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":"455c945886b5c4624a14d574c8b155394ebe24ebc1926735d02a712eb6d2e0cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2017-01-30T16:17:19Z","title_canon_sha256":"69d8e47dee304acf9ee24ddee0502cff735d46f76eba35f82e6aa41b752146fc"},"schema_version":"1.0","source":{"id":"1701.08676","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.08676","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1701.08676v2","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08676","created_at":"2026-05-18T00:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"CDYBHYWCUG5R","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CDYBHYWCUG5RHV3J","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CDYBHYWC","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:69a6fd410db3faa9dc17e03335ccc5dc788f8efc7a50eba5cf13b8614327d4e4","target":"graph","created_at":"2026-05-18T00:10:14Z","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":"Automated verification of security protocols based on dynamic root of trust, typically relying on protected hardware such as TPM, involves several challenges that we address in this paper. We model the semantics of trusted computing platforms (including CPU, TPM, OS, and other essential components) and of associated protocols in a classical process calculus accepted by ProVerif. As part of the formalization effort, we introduce new equational theories for representing TPM specific platform states and dynamically loaded programs. Formal models for such an extensive set of features cannot be rea","authors_text":"Christian Johansen, Sergiu Bursuc, Shiwei Xu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2017-01-30T16:17:19Z","title":"Automated verification of dynamic root of trust protocols (long version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08676","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:f1f5e73a7f504aa48f47824b55e3d10db5071bc363375eb5a4bc8920ef76029b","target":"record","created_at":"2026-05-18T00:10:14Z","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":"455c945886b5c4624a14d574c8b155394ebe24ebc1926735d02a712eb6d2e0cd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2017-01-30T16:17:19Z","title_canon_sha256":"69d8e47dee304acf9ee24ddee0502cff735d46f76eba35f82e6aa41b752146fc"},"schema_version":"1.0","source":{"id":"1701.08676","kind":"arxiv","version":2}},"canonical_sha256":"10f013e2c2a1bb13d76932ea2cf8e0785b42160887d580b44969f4590c5df274","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10f013e2c2a1bb13d76932ea2cf8e0785b42160887d580b44969f4590c5df274","first_computed_at":"2026-05-18T00:10:14.726934Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:14.726934Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DlDbN9m/hFn4PEoCH3A2Cid9Pp4DCMjMxIehn8fyeCJsB3NpREdHanSGHyuUG2ZQ6T/zgRm+jwxR92MH8AX6BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:14.727572Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.08676","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1f5e73a7f504aa48f47824b55e3d10db5071bc363375eb5a4bc8920ef76029b","sha256:69a6fd410db3faa9dc17e03335ccc5dc788f8efc7a50eba5cf13b8614327d4e4"],"state_sha256":"15c7c2a62da013b4c5ec796ef09c92e5f48c4c7c6a3290687766a3845808f664"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D3LyrpQO8wNT0vmghQwixFFhUnJWMtPZTqIaUnN/M2OFpyCFCkgpaNjFJRnlmIW46JYDigOXAWu9OLanE1/5DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T18:24:53.719865Z","bundle_sha256":"41ec0c142e1566954147956c5966e0c7da874e084e38812368dda0f501fbe751"}}