{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:3ANE53YFUHXXLPVMLUC4WAMVVE","short_pith_number":"pith:3ANE53YF","canonical_record":{"source":{"id":"1306.2693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-12T01:55:30Z","cross_cats_sorted":[],"title_canon_sha256":"9d7ba3cd60926a7df445ba2ba98ff424caa1ddf0e2827ee48983fa04c7fc5e35","abstract_canon_sha256":"5ee9f14770727934fcc699d9dff36ef7abc8c450b82e57b0655b4aa1de677c9a"},"schema_version":"1.0"},"canonical_sha256":"d81a4eef05a1ef75beac5d05cb0195a90f552e73ca0ae4abb53eaa09bcd80685","source":{"kind":"arxiv","id":"1306.2693","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.2693","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"arxiv_version","alias_value":"1306.2693v1","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.2693","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"pith_short_12","alias_value":"3ANE53YFUHXX","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3ANE53YFUHXXLPVM","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3ANE53YF","created_at":"2026-05-18T12:27:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:3ANE53YFUHXXLPVMLUC4WAMVVE","target":"record","payload":{"canonical_record":{"source":{"id":"1306.2693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-12T01:55:30Z","cross_cats_sorted":[],"title_canon_sha256":"9d7ba3cd60926a7df445ba2ba98ff424caa1ddf0e2827ee48983fa04c7fc5e35","abstract_canon_sha256":"5ee9f14770727934fcc699d9dff36ef7abc8c450b82e57b0655b4aa1de677c9a"},"schema_version":"1.0"},"canonical_sha256":"d81a4eef05a1ef75beac5d05cb0195a90f552e73ca0ae4abb53eaa09bcd80685","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:21:09.721716Z","signature_b64":"vUQEVg2AGyKo0pDNHitTDde6I9QSBzn9r0ZKSCIsuXxQDyMQ98hsyBlNVgCuoEGnRSQrdeGVKt6rS+Uij4RdCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d81a4eef05a1ef75beac5d05cb0195a90f552e73ca0ae4abb53eaa09bcd80685","last_reissued_at":"2026-05-18T03:21:09.720876Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:21:09.720876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.2693","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-18T03:21:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tImJBEH+VW6MRMmC4I+NJ8QlqWGGq11mOJ+b0OOP6majlEe4IiFK+pH2GrXJwPvjExzeOxuaNVSRa2KU3UYaDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:54:19.666957Z"},"content_sha256":"945d5efc5e8c1b30536c2d524a0a8585f4b4ef3a38de56875796d0d58c517276","schema_version":"1.0","event_id":"sha256:945d5efc5e8c1b30536c2d524a0a8585f4b4ef3a38de56875796d0d58c517276"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:3ANE53YFUHXXLPVMLUC4WAMVVE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Security Analysis for Multi-threaded Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Marieke Huisman (University of Twente), Tri Minh Ngo (University of Twente)","submitted_at":"2013-06-12T01:55:30Z","abstract_excerpt":"Quantitative theories of information flow give us an approach to relax the absolute confidentiality properties that are difficult to satisfy for many practical programs. The classical information-theoretic approaches for sequential programs, where the program is modeled as a communication channel with only input and output, and the measure of leakage is based on the notions of initial uncertainty and remaining uncertainty after observing the final outcomes, are not suitable to multi-threaded programs. Besides, the information-theoretic approaches have been also shown to conflict with each othe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.2693","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-18T03:21:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLO7754xkT5RwGXWbdmXFhy4WUDjNR5EzyR5FR0PVig4eTL72p3LQ9L4f/xncH76/++pCf4E+oYyXQJTXTJeAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:54:19.667298Z"},"content_sha256":"f8e0d2e60f424f7ebb950dfdad50593e86a2a3b277725ac7abd7f12671b40c89","schema_version":"1.0","event_id":"sha256:f8e0d2e60f424f7ebb950dfdad50593e86a2a3b277725ac7abd7f12671b40c89"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/bundle.json","state_url":"https://pith.science/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/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-20T18:54:19Z","links":{"resolver":"https://pith.science/pith/3ANE53YFUHXXLPVMLUC4WAMVVE","bundle":"https://pith.science/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/bundle.json","state":"https://pith.science/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3ANE53YFUHXXLPVMLUC4WAMVVE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:3ANE53YFUHXXLPVMLUC4WAMVVE","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":"5ee9f14770727934fcc699d9dff36ef7abc8c450b82e57b0655b4aa1de677c9a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-12T01:55:30Z","title_canon_sha256":"9d7ba3cd60926a7df445ba2ba98ff424caa1ddf0e2827ee48983fa04c7fc5e35"},"schema_version":"1.0","source":{"id":"1306.2693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.2693","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"arxiv_version","alias_value":"1306.2693v1","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.2693","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"pith_short_12","alias_value":"3ANE53YFUHXX","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3ANE53YFUHXXLPVM","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3ANE53YF","created_at":"2026-05-18T12:27:32Z"}],"graph_snapshots":[{"event_id":"sha256:f8e0d2e60f424f7ebb950dfdad50593e86a2a3b277725ac7abd7f12671b40c89","target":"graph","created_at":"2026-05-18T03:21:09Z","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":"Quantitative theories of information flow give us an approach to relax the absolute confidentiality properties that are difficult to satisfy for many practical programs. The classical information-theoretic approaches for sequential programs, where the program is modeled as a communication channel with only input and output, and the measure of leakage is based on the notions of initial uncertainty and remaining uncertainty after observing the final outcomes, are not suitable to multi-threaded programs. Besides, the information-theoretic approaches have been also shown to conflict with each othe","authors_text":"Marieke Huisman (University of Twente), Tri Minh Ngo (University of Twente)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-12T01:55:30Z","title":"Quantitative Security Analysis for Multi-threaded Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.2693","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:945d5efc5e8c1b30536c2d524a0a8585f4b4ef3a38de56875796d0d58c517276","target":"record","created_at":"2026-05-18T03:21:09Z","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":"5ee9f14770727934fcc699d9dff36ef7abc8c450b82e57b0655b4aa1de677c9a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2013-06-12T01:55:30Z","title_canon_sha256":"9d7ba3cd60926a7df445ba2ba98ff424caa1ddf0e2827ee48983fa04c7fc5e35"},"schema_version":"1.0","source":{"id":"1306.2693","kind":"arxiv","version":1}},"canonical_sha256":"d81a4eef05a1ef75beac5d05cb0195a90f552e73ca0ae4abb53eaa09bcd80685","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d81a4eef05a1ef75beac5d05cb0195a90f552e73ca0ae4abb53eaa09bcd80685","first_computed_at":"2026-05-18T03:21:09.720876Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:21:09.720876Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vUQEVg2AGyKo0pDNHitTDde6I9QSBzn9r0ZKSCIsuXxQDyMQ98hsyBlNVgCuoEGnRSQrdeGVKt6rS+Uij4RdCA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:21:09.721716Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.2693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:945d5efc5e8c1b30536c2d524a0a8585f4b4ef3a38de56875796d0d58c517276","sha256:f8e0d2e60f424f7ebb950dfdad50593e86a2a3b277725ac7abd7f12671b40c89"],"state_sha256":"85d4ba10ebedfffdd305ae1d9fe906fb527740976566d9e0904d439f41d10b82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NbAm8j09L0SrA116bv1p6X75x6kBlX2N0dvsCvG7s4f4MuJFpD77PP85Qj2/Y3xdKAKRceADJOL2GIHyTITVDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T18:54:19.669226Z","bundle_sha256":"ccbe30ce2bcb24fa03f685567820e14310e550abd5a5492cfacd3c756dc215dc"}}