{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TC43CTNMLXWSQUIYGNL5HEUZLJ","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":"ec1e43a8a8f55b1dcc4eeeb9f2413ad13704c5f5e7c02895b5f1f6ff22a6690a","cross_cats_sorted":["cs.CR","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-22T09:17:59Z","title_canon_sha256":"39917e0c49d7e7d5921b11216770a8f1f0ae69e1e704570509385fcf7d832987"},"schema_version":"1.0","source":{"id":"2408.12240","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.12240","created_at":"2026-06-03T02:05:39Z"},{"alias_kind":"arxiv_version","alias_value":"2408.12240v6","created_at":"2026-06-03T02:05:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.12240","created_at":"2026-06-03T02:05:39Z"},{"alias_kind":"pith_short_12","alias_value":"TC43CTNMLXWS","created_at":"2026-06-03T02:05:39Z"},{"alias_kind":"pith_short_16","alias_value":"TC43CTNMLXWSQUIY","created_at":"2026-06-03T02:05:39Z"},{"alias_kind":"pith_short_8","alias_value":"TC43CTNM","created_at":"2026-06-03T02:05:39Z"}],"graph_snapshots":[{"event_id":"sha256:adae3507edd70082d1a6d805cba8c512b220e381dd4a5cf960fa9c3d718052cf","target":"graph","created_at":"2026-06-03T02:05:39Z","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/2408.12240/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Timed automata (TAs) are an extension of finite automata that can measure and react to the passage of time, providing the ability to handle real-time constraints using clocks. In 2009, Franck Cassez showed that the timed opacity problem, where an attacker can observe some actions with their timestamps and attempts to deduce information, is undecidable for TAs. Moreover, he showed that the undecidability holds even for subclasses such as event-recording automata. In this article, we consider the same definition of opacity, by restricting either the system or the attacker. Our first contribution","authors_text":"Engel Lefaucheux, \\'Etienne Andr\\'e, Sarah D\\'epernet","cross_cats":["cs.CR","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-22T09:17:59Z","title":"The Bright Side of Timed Opacity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.12240","kind":"arxiv","version":6},"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:f265814dbe5a5b9cf487e8d004799e166f6c77dea328d3279341ae4a1735f2e8","target":"record","created_at":"2026-06-03T02:05:39Z","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":"ec1e43a8a8f55b1dcc4eeeb9f2413ad13704c5f5e7c02895b5f1f6ff22a6690a","cross_cats_sorted":["cs.CR","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-08-22T09:17:59Z","title_canon_sha256":"39917e0c49d7e7d5921b11216770a8f1f0ae69e1e704570509385fcf7d832987"},"schema_version":"1.0","source":{"id":"2408.12240","kind":"arxiv","version":6}},"canonical_sha256":"98b9b14dac5ded2851183357d392995a40f45c6ff1e202f7c3b960e23dcbcdbc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98b9b14dac5ded2851183357d392995a40f45c6ff1e202f7c3b960e23dcbcdbc","first_computed_at":"2026-06-03T02:05:39.940871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T02:05:39.940871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T98i2aTQgBWmEsCZxdXRewEthzcCPJbLtOdEGfePcq1CtFBCmQNYjcYBZAGAheetZQW18PQf3PMzhqRAo/DdAQ==","signature_status":"signed_v1","signed_at":"2026-06-03T02:05:39.941376Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.12240","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f265814dbe5a5b9cf487e8d004799e166f6c77dea328d3279341ae4a1735f2e8","sha256:adae3507edd70082d1a6d805cba8c512b220e381dd4a5cf960fa9c3d718052cf"],"state_sha256":"c4ba4364b8b7b46b5f927d96ed62e2517137c24e19f2534b6703685e685e505a"}