{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:V36AFQR6MDVG2NW3VLAP326PWJ","short_pith_number":"pith:V36AFQR6","canonical_record":{"source":{"id":"1103.0220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-03-01T17:00:28Z","cross_cats_sorted":[],"title_canon_sha256":"2c9cbae561628fd722d42e62852dbcecb3f0004cc49853aba85b949b0abebb12","abstract_canon_sha256":"e0c243f08f361baa6ac113bbb23f589db5272bb051f4f849cc52740be20533aa"},"schema_version":"1.0"},"canonical_sha256":"aefc02c23e60ea6d36dbaac0fdebcfb255171ae9e55baa3294deb8a25f419abf","source":{"kind":"arxiv","id":"1103.0220","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.0220","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"arxiv_version","alias_value":"1103.0220v1","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0220","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"pith_short_12","alias_value":"V36AFQR6MDVG","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V36AFQR6MDVG2NW3","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V36AFQR6","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:V36AFQR6MDVG2NW3VLAP326PWJ","target":"record","payload":{"canonical_record":{"source":{"id":"1103.0220","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-03-01T17:00:28Z","cross_cats_sorted":[],"title_canon_sha256":"2c9cbae561628fd722d42e62852dbcecb3f0004cc49853aba85b949b0abebb12","abstract_canon_sha256":"e0c243f08f361baa6ac113bbb23f589db5272bb051f4f849cc52740be20533aa"},"schema_version":"1.0"},"canonical_sha256":"aefc02c23e60ea6d36dbaac0fdebcfb255171ae9e55baa3294deb8a25f419abf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:27:37.038264Z","signature_b64":"dERsx66wvpH75a6aonsX9LMy2TdF5aMne0lmSU5Y6qyV4MJlUNb4LOVufJY1hUXA8wS6N9Wcj1fF0IB+socKAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aefc02c23e60ea6d36dbaac0fdebcfb255171ae9e55baa3294deb8a25f419abf","last_reissued_at":"2026-05-18T04:27:37.037710Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:27:37.037710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.0220","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-18T04:27:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ix0CowB8x/ywRQ18+Ca8F2xuRzQ88+XmzKvrU189v1R+x7NFoxwBJR3KO1LQje8ihzKo67UFUJP4lkyXwPh0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T03:17:58.788248Z"},"content_sha256":"6397a41b40aeb2e38e14d4ec3528c25d788c468001f529fb939d998f53961dc7","schema_version":"1.0","event_id":"sha256:6397a41b40aeb2e38e14d4ec3528c25d788c468001f529fb939d998f53961dc7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:V36AFQR6MDVG2NW3VLAP326PWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Satisfiability of General Intruder Constraints with and without a Set Constructor","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Mathieu Turuani, Micha\\\"el Rusinowitch, Tigran Avanesov, Yannick Chevalier","submitted_at":"2011-03-01T17:00:28Z","abstract_excerpt":"Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable origination. In this work we relax these restrictions by giving a decision procedure for solving general intruder constraints (that do not have these properties) that stays in NP. Our result extends a first work by L. Mazar\\'e in several directions: we allow non-atomic keys, and an associative, commutative and idempotent symbol (for modeling"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0220","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-18T04:27:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BDP0LqFsbO75T7PcYLk2tzGiB0B0uhznFvGzizhT/OYySaFbgsCqIEiqj2NrO0jeLQflAZ6I/KfkQ1XlfXOTCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T03:17:58.788623Z"},"content_sha256":"c29b3c091056c9ba3236e83b7f31bb09a8a38b277b2f148df4316cc718e2d9b0","schema_version":"1.0","event_id":"sha256:c29b3c091056c9ba3236e83b7f31bb09a8a38b277b2f148df4316cc718e2d9b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V36AFQR6MDVG2NW3VLAP326PWJ/bundle.json","state_url":"https://pith.science/pith/V36AFQR6MDVG2NW3VLAP326PWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V36AFQR6MDVG2NW3VLAP326PWJ/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-07-01T03:17:58Z","links":{"resolver":"https://pith.science/pith/V36AFQR6MDVG2NW3VLAP326PWJ","bundle":"https://pith.science/pith/V36AFQR6MDVG2NW3VLAP326PWJ/bundle.json","state":"https://pith.science/pith/V36AFQR6MDVG2NW3VLAP326PWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V36AFQR6MDVG2NW3VLAP326PWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:V36AFQR6MDVG2NW3VLAP326PWJ","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":"e0c243f08f361baa6ac113bbb23f589db5272bb051f4f849cc52740be20533aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-03-01T17:00:28Z","title_canon_sha256":"2c9cbae561628fd722d42e62852dbcecb3f0004cc49853aba85b949b0abebb12"},"schema_version":"1.0","source":{"id":"1103.0220","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.0220","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"arxiv_version","alias_value":"1103.0220v1","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0220","created_at":"2026-05-18T04:27:37Z"},{"alias_kind":"pith_short_12","alias_value":"V36AFQR6MDVG","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V36AFQR6MDVG2NW3","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V36AFQR6","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:c29b3c091056c9ba3236e83b7f31bb09a8a38b277b2f148df4316cc718e2d9b0","target":"graph","created_at":"2026-05-18T04:27:37Z","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":"Many decision problems on security protocols can be reduced to solving so-called intruder constraints in Dolev Yao model. Most constraint solving procedures for protocol security rely on two properties of constraint systems called monotonicity and variable origination. In this work we relax these restrictions by giving a decision procedure for solving general intruder constraints (that do not have these properties) that stays in NP. Our result extends a first work by L. Mazar\\'e in several directions: we allow non-atomic keys, and an associative, commutative and idempotent symbol (for modeling","authors_text":"Mathieu Turuani, Micha\\\"el Rusinowitch, Tigran Avanesov, Yannick Chevalier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-03-01T17:00:28Z","title":"Satisfiability of General Intruder Constraints with and without a Set Constructor"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0220","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:6397a41b40aeb2e38e14d4ec3528c25d788c468001f529fb939d998f53961dc7","target":"record","created_at":"2026-05-18T04:27:37Z","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":"e0c243f08f361baa6ac113bbb23f589db5272bb051f4f849cc52740be20533aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2011-03-01T17:00:28Z","title_canon_sha256":"2c9cbae561628fd722d42e62852dbcecb3f0004cc49853aba85b949b0abebb12"},"schema_version":"1.0","source":{"id":"1103.0220","kind":"arxiv","version":1}},"canonical_sha256":"aefc02c23e60ea6d36dbaac0fdebcfb255171ae9e55baa3294deb8a25f419abf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aefc02c23e60ea6d36dbaac0fdebcfb255171ae9e55baa3294deb8a25f419abf","first_computed_at":"2026-05-18T04:27:37.037710Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:27:37.037710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dERsx66wvpH75a6aonsX9LMy2TdF5aMne0lmSU5Y6qyV4MJlUNb4LOVufJY1hUXA8wS6N9Wcj1fF0IB+socKAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:27:37.038264Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.0220","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6397a41b40aeb2e38e14d4ec3528c25d788c468001f529fb939d998f53961dc7","sha256:c29b3c091056c9ba3236e83b7f31bb09a8a38b277b2f148df4316cc718e2d9b0"],"state_sha256":"c35293da3ae18dd7737a637b0fb45fc09ddba9899b5610864b3e01ed7495fa55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bCyXdj/0l8ctORoNtSsFPjrh9bXUGVMWJE/pJoewouPWKBFPBSeSxPgd6x5n6cNztaw6g493ucQ6xZYRtFHlCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T03:17:58.790841Z","bundle_sha256":"15bbe47964ff7acc997b4c52e3f86ff42936f97b74fd2703daf1dc1150937f7e"}}