{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5TN3AL3CNNRNF2RORWNP56LKLX","short_pith_number":"pith:5TN3AL3C","canonical_record":{"source":{"id":"1801.04066","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T06:11:57Z","cross_cats_sorted":[],"title_canon_sha256":"0c604e4bb6c6ec9fbbae1c7c82b6722fbc46234431f5277600dcf2bf3b903ffb","abstract_canon_sha256":"d6e9aba030c7b8cca0474be7725065d4c4c7818be7ceffd05c16b2926e77320e"},"schema_version":"1.0"},"canonical_sha256":"ecdbb02f626b62d2ea2e8d9afef96a5ddf408de3fb02a14d0867f1f52885bfcb","source":{"kind":"arxiv","id":"1801.04066","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04066","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04066v2","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04066","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"pith_short_12","alias_value":"5TN3AL3CNNRN","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5TN3AL3CNNRNF2RO","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5TN3AL3C","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5TN3AL3CNNRNF2RORWNP56LKLX","target":"record","payload":{"canonical_record":{"source":{"id":"1801.04066","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T06:11:57Z","cross_cats_sorted":[],"title_canon_sha256":"0c604e4bb6c6ec9fbbae1c7c82b6722fbc46234431f5277600dcf2bf3b903ffb","abstract_canon_sha256":"d6e9aba030c7b8cca0474be7725065d4c4c7818be7ceffd05c16b2926e77320e"},"schema_version":"1.0"},"canonical_sha256":"ecdbb02f626b62d2ea2e8d9afef96a5ddf408de3fb02a14d0867f1f52885bfcb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:14.683072Z","signature_b64":"qaVprgA1NGnD8OsqSmi21ODs80I1M93/7UxJ5SPgWKxICQje8Co3PbKKEKWCUo2U4aRZdIxWD96A6A9oQeEBDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ecdbb02f626b62d2ea2e8d9afef96a5ddf408de3fb02a14d0867f1f52885bfcb","last_reissued_at":"2026-05-17T23:58:14.682567Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:14.682567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.04066","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-17T23:58:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"swyUoi1HreHh+8UmUSmdwouVuD/AFTF9OMLW5MjFiF3gb0VM5Bn/dUDC40ChkfUYPJ3PgEZ/DUtkb1O0QrfgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:40:04.468445Z"},"content_sha256":"8fff53f756a6a3e4c160cc601da1cd454f50ca7d56575cbc36b328a3b6fa7222","schema_version":"1.0","event_id":"sha256:8fff53f756a6a3e4c160cc601da1cd454f50ca7d56575cbc36b328a3b6fa7222"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5TN3AL3CNNRNF2RORWNP56LKLX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Timed Observational Equivalence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Abr\\~aao Aires Urquiza, Carolyn Talcott, Vivek Nigam","submitted_at":"2018-01-12T06:11:57Z","abstract_excerpt":"Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels. These properties may help intruders distinguish whether a system is a honeypot or concrete system helping him avoid defense mechanisms, or track a user among others violating his privacy. Observational equivalence is the technical machinery used for verifying whether two systems are distinguishable. Moreover, efficient symbolic methods have been developed for automating the check of observational equivalence of syste"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04066","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-17T23:58:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/5GXeCrnA5omXRbU7vJpgQHPhj2QlnPDNqtimNo9YlCkJzcu17nyIqFc/52nUkrkdH3r3TFuw4SfsKSo1QTVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:40:04.469039Z"},"content_sha256":"f7492aac63aa9d860f7d83165fc2994e50ea62d94ab91371792cbcbf3220303c","schema_version":"1.0","event_id":"sha256:f7492aac63aa9d860f7d83165fc2994e50ea62d94ab91371792cbcbf3220303c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5TN3AL3CNNRNF2RORWNP56LKLX/bundle.json","state_url":"https://pith.science/pith/5TN3AL3CNNRNF2RORWNP56LKLX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5TN3AL3CNNRNF2RORWNP56LKLX/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-11T22:40:04Z","links":{"resolver":"https://pith.science/pith/5TN3AL3CNNRNF2RORWNP56LKLX","bundle":"https://pith.science/pith/5TN3AL3CNNRNF2RORWNP56LKLX/bundle.json","state":"https://pith.science/pith/5TN3AL3CNNRNF2RORWNP56LKLX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5TN3AL3CNNRNF2RORWNP56LKLX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5TN3AL3CNNRNF2RORWNP56LKLX","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":"d6e9aba030c7b8cca0474be7725065d4c4c7818be7ceffd05c16b2926e77320e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T06:11:57Z","title_canon_sha256":"0c604e4bb6c6ec9fbbae1c7c82b6722fbc46234431f5277600dcf2bf3b903ffb"},"schema_version":"1.0","source":{"id":"1801.04066","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04066","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04066v2","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04066","created_at":"2026-05-17T23:58:14Z"},{"alias_kind":"pith_short_12","alias_value":"5TN3AL3CNNRN","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5TN3AL3CNNRNF2RO","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5TN3AL3C","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:f7492aac63aa9d860f7d83165fc2994e50ea62d94ab91371792cbcbf3220303c","target":"graph","created_at":"2026-05-17T23:58: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":"Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels. These properties may help intruders distinguish whether a system is a honeypot or concrete system helping him avoid defense mechanisms, or track a user among others violating his privacy. Observational equivalence is the technical machinery used for verifying whether two systems are distinguishable. Moreover, efficient symbolic methods have been developed for automating the check of observational equivalence of syste","authors_text":"Abr\\~aao Aires Urquiza, Carolyn Talcott, Vivek Nigam","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T06:11:57Z","title":"Symbolic Timed Observational Equivalence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04066","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:8fff53f756a6a3e4c160cc601da1cd454f50ca7d56575cbc36b328a3b6fa7222","target":"record","created_at":"2026-05-17T23:58: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":"d6e9aba030c7b8cca0474be7725065d4c4c7818be7ceffd05c16b2926e77320e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-01-12T06:11:57Z","title_canon_sha256":"0c604e4bb6c6ec9fbbae1c7c82b6722fbc46234431f5277600dcf2bf3b903ffb"},"schema_version":"1.0","source":{"id":"1801.04066","kind":"arxiv","version":2}},"canonical_sha256":"ecdbb02f626b62d2ea2e8d9afef96a5ddf408de3fb02a14d0867f1f52885bfcb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ecdbb02f626b62d2ea2e8d9afef96a5ddf408de3fb02a14d0867f1f52885bfcb","first_computed_at":"2026-05-17T23:58:14.682567Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:14.682567Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qaVprgA1NGnD8OsqSmi21ODs80I1M93/7UxJ5SPgWKxICQje8Co3PbKKEKWCUo2U4aRZdIxWD96A6A9oQeEBDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:14.683072Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.04066","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8fff53f756a6a3e4c160cc601da1cd454f50ca7d56575cbc36b328a3b6fa7222","sha256:f7492aac63aa9d860f7d83165fc2994e50ea62d94ab91371792cbcbf3220303c"],"state_sha256":"4f06f4f411c66b1988bbc6f66915339fa29328cabd61436692646e722d0ac426"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z0xM19ZPFn+OACFL6fI9zd1uLihvWkIl2nJmZDi8dgVvmSjnMEYaMZNxeA+AvkypNOTBh+H06Om2OCD5z0WICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T22:40:04.472921Z","bundle_sha256":"db8ee118fb50687ce51f0222a7eb04da07b5972e1eabad1cd57408d99b954333"}}