{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:YLONH2D3JI2SBKQ4MBYVZ3SQHY","short_pith_number":"pith:YLONH2D3","schema_version":"1.0","canonical_sha256":"c2dcd3e87b4a3520aa1c60715cee503e1514fac4f4b7388c73143f4a0f52ad07","source":{"kind":"arxiv","id":"2504.20432","version":2},"attestation_state":"computed","paper":{"title":"An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Andrew C. Myers, Co\\c{s}ku Acay, Silei Ren","submitted_at":"2025-04-29T05:00:17Z","abstract_excerpt":"Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relatively extensional and compositional, designing expressive systems that enforce such properties remains challenging. In particular, it can be difficult to use IFC labels to model certain security assumptions, such as semi-honest agents.\n  Motivated by these modeling limitations, we study the algebraic semantics of lattice-based IFC label models, and propose a semantic framework that allows formalizing asymmetric delegatio"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2504.20432","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-04-29T05:00:17Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"beeb23100de0226f05ffee669f6f75995bf4f944a3a6c37f17090126a2e6d16e","abstract_canon_sha256":"d55593ebe47aa981475c8eec121cc7746df32c0b1fef9cbe6af27f4865bca574"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:29.086032Z","signature_b64":"YnTYeGkkZYYb/WzNpxl4JS+hGxTnJABp/N2FzH5vcvRGMQbdzeN9I/Q30KwMSgqDToCT05vZm/1aPA2UPEO0Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2dcd3e87b4a3520aa1c60715cee503e1514fac4f4b7388c73143f4a0f52ad07","last_reissued_at":"2026-07-05T11:38:29.085525Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:29.085525Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.PL","authors_text":"Andrew C. Myers, Co\\c{s}ku Acay, Silei Ren","submitted_at":"2025-04-29T05:00:17Z","abstract_excerpt":"Language-based information flow control (IFC) enables reasoning about and enforcing security policies in decentralized applications. While information flow properties are relatively extensional and compositional, designing expressive systems that enforce such properties remains challenging. In particular, it can be difficult to use IFC labels to model certain security assumptions, such as semi-honest agents.\n  Motivated by these modeling limitations, we study the algebraic semantics of lattice-based IFC label models, and propose a semantic framework that allows formalizing asymmetric delegatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.20432","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.20432/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2504.20432","created_at":"2026-07-05T11:38:29.085585+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.20432v2","created_at":"2026-07-05T11:38:29.085585+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.20432","created_at":"2026-07-05T11:38:29.085585+00:00"},{"alias_kind":"pith_short_12","alias_value":"YLONH2D3JI2S","created_at":"2026-07-05T11:38:29.085585+00:00"},{"alias_kind":"pith_short_16","alias_value":"YLONH2D3JI2SBKQ4","created_at":"2026-07-05T11:38:29.085585+00:00"},{"alias_kind":"pith_short_8","alias_value":"YLONH2D3","created_at":"2026-07-05T11:38:29.085585+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2504.20432","citing_title":"An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)","ref_index":36,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY","json":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY.json","graph_json":"https://pith.science/api/pith-number/YLONH2D3JI2SBKQ4MBYVZ3SQHY/graph.json","events_json":"https://pith.science/api/pith-number/YLONH2D3JI2SBKQ4MBYVZ3SQHY/events.json","paper":"https://pith.science/paper/YLONH2D3"},"agent_actions":{"view_html":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY","download_json":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY.json","view_paper":"https://pith.science/paper/YLONH2D3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.20432&json=true","fetch_graph":"https://pith.science/api/pith-number/YLONH2D3JI2SBKQ4MBYVZ3SQHY/graph.json","fetch_events":"https://pith.science/api/pith-number/YLONH2D3JI2SBKQ4MBYVZ3SQHY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY/action/storage_attestation","attest_author":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY/action/author_attestation","sign_citation":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY/action/citation_signature","submit_replication":"https://pith.science/pith/YLONH2D3JI2SBKQ4MBYVZ3SQHY/action/replication_record"}},"created_at":"2026-07-05T11:38:29.085585+00:00","updated_at":"2026-07-05T11:38:29.085585+00:00"}