{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SA7JB7FN74V7Q44EY2FJVQPJH7","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":"e62a13655884de9f26789200c7b96195a22fb8e85ab804f1d614b1360d03d1f0","cross_cats_sorted":["cs.NI","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-19T04:28:49Z","title_canon_sha256":"00478d0ce40d058382c308aaedd40511a0c55bea1bd2ea6dbc191ccd085ee2f7"},"schema_version":"1.0","source":{"id":"2505.12690","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.12690","created_at":"2026-07-05T11:05:08Z"},{"alias_kind":"arxiv_version","alias_value":"2505.12690v1","created_at":"2026-07-05T11:05:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.12690","created_at":"2026-07-05T11:05:08Z"},{"alias_kind":"pith_short_12","alias_value":"SA7JB7FN74V7","created_at":"2026-07-05T11:05:08Z"},{"alias_kind":"pith_short_16","alias_value":"SA7JB7FN74V7Q44E","created_at":"2026-07-05T11:05:08Z"},{"alias_kind":"pith_short_8","alias_value":"SA7JB7FN","created_at":"2026-07-05T11:05:08Z"}],"graph_snapshots":[{"event_id":"sha256:b15dbaafedd790bd615a90f7d22bd52d69a50a74705ad1fb3588ae944248484c","target":"graph","created_at":"2026-07-05T11:05:08Z","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/2505.12690/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop QUICtester, an automated approach for uncovering non-compliant behaviors in the ratified QUIC protocol implementations (RFC 9000/9001). QUICtester leverages active automata learning to abstract the behavior of a QUIC implementation into a finite state machine (FSM) representation. Unlike prior noncompliance checking methods, to help uncover state dependencies on event timing, QUICtester introduces the idea of state learning with event timing variations, adopting both valid and invalid input configurations, and combinations of security and transport layer parameters during learning. ","authors_text":"Cheryl Pope, Damith C. Ranasinghe, Guy Farrelly, Kian Kai Ang","cross_cats":["cs.NI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-19T04:28:49Z","title":"An Automated Blackbox Noncompliance Checker for QUIC Server Implementations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.12690","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:c155c0f9e42cb36646eb34d1ca1d9772424f66610b8b2057902f829b9e1d08a5","target":"record","created_at":"2026-07-05T11:05:08Z","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":"e62a13655884de9f26789200c7b96195a22fb8e85ab804f1d614b1360d03d1f0","cross_cats_sorted":["cs.NI","cs.SE"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-19T04:28:49Z","title_canon_sha256":"00478d0ce40d058382c308aaedd40511a0c55bea1bd2ea6dbc191ccd085ee2f7"},"schema_version":"1.0","source":{"id":"2505.12690","kind":"arxiv","version":1}},"canonical_sha256":"903e90fcadff2bf87384c68a9ac1e93fe2607a7bbe760977837fdc18e2b0785a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"903e90fcadff2bf87384c68a9ac1e93fe2607a7bbe760977837fdc18e2b0785a","first_computed_at":"2026-07-05T11:05:08.303478Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:05:08.303478Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"whJ4N1EaIEyRFoX36ZHrYTtkS1IS/3Gxn/YQsv6nyXuqEiWA42t9shBhO6LgjkzjFPbzAZXw7u/SBxTy18twBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:05:08.303983Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.12690","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c155c0f9e42cb36646eb34d1ca1d9772424f66610b8b2057902f829b9e1d08a5","sha256:b15dbaafedd790bd615a90f7d22bd52d69a50a74705ad1fb3588ae944248484c"],"state_sha256":"c0c43279da618b9d93d99a5a8d75b01c5db32b2575eb0ca3066f52e471ebc81c"}