{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:3M7PQKJG6BI67CEK5DSUTND4JP","short_pith_number":"pith:3M7PQKJG","schema_version":"1.0","canonical_sha256":"db3ef82926f051ef888ae8e549b47c4be5fa31221fa5115416376fffb2fdb6d5","source":{"kind":"arxiv","id":"2606.20492","version":1},"attestation_state":"computed","paper":{"title":"A-COMPASS: Formal Foundations for Anonymity Analysis in Microdata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Silvia Ghilezan, Tamara Tagliavia","submitted_at":"2026-06-18T17:08:50Z","abstract_excerpt":"In the information age, one of the leading problems is how to ensure individual's privacy. Depending on the context in which privacy is considered, various data privacy models have emerged. However, the domain of formal verification of these models is still not sufficiently explored even when it comes to the most basic models. An attempt to verify privacy requirements is the Compliance Assertion Language (COMPASS). In COMPASS, one can specify an anonymity condition that a table needs to satisfy, and an action that will modify the table if the condition is not satisfied. It is designed to opera"},"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":"2606.20492","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2026-06-18T17:08:50Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"04d9bbd73be4df4e9077b17f6d0ffffd205873e25abc78ad4133ee9de8088875","abstract_canon_sha256":"415bfe1843c7fc2031baf28438e99cc6f3db4189d850e64f6cbc4082c50d6957"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:13:13.651445Z","signature_b64":"tnvhZGh/khqH+TdTQzuZE5IbQ9FeElj2bwpl0Yp3pi9PkZpxPgMC1FST7Lai5ybjNN60oB+hPNj3Tur8j9fOBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db3ef82926f051ef888ae8e549b47c4be5fa31221fa5115416376fffb2fdb6d5","last_reissued_at":"2026-06-19T16:13:13.651097Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:13:13.651097Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A-COMPASS: Formal Foundations for Anonymity Analysis in Microdata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CR","authors_text":"Silvia Ghilezan, Tamara Tagliavia","submitted_at":"2026-06-18T17:08:50Z","abstract_excerpt":"In the information age, one of the leading problems is how to ensure individual's privacy. Depending on the context in which privacy is considered, various data privacy models have emerged. However, the domain of formal verification of these models is still not sufficiently explored even when it comes to the most basic models. An attempt to verify privacy requirements is the Compliance Assertion Language (COMPASS). In COMPASS, one can specify an anonymity condition that a table needs to satisfy, and an action that will modify the table if the condition is not satisfied. It is designed to opera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20492","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.20492/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":"2606.20492","created_at":"2026-06-19T16:13:13.651153+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.20492v1","created_at":"2026-06-19T16:13:13.651153+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20492","created_at":"2026-06-19T16:13:13.651153+00:00"},{"alias_kind":"pith_short_12","alias_value":"3M7PQKJG6BI6","created_at":"2026-06-19T16:13:13.651153+00:00"},{"alias_kind":"pith_short_16","alias_value":"3M7PQKJG6BI67CEK","created_at":"2026-06-19T16:13:13.651153+00:00"},{"alias_kind":"pith_short_8","alias_value":"3M7PQKJG","created_at":"2026-06-19T16:13:13.651153+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP","json":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP.json","graph_json":"https://pith.science/api/pith-number/3M7PQKJG6BI67CEK5DSUTND4JP/graph.json","events_json":"https://pith.science/api/pith-number/3M7PQKJG6BI67CEK5DSUTND4JP/events.json","paper":"https://pith.science/paper/3M7PQKJG"},"agent_actions":{"view_html":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP","download_json":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP.json","view_paper":"https://pith.science/paper/3M7PQKJG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.20492&json=true","fetch_graph":"https://pith.science/api/pith-number/3M7PQKJG6BI67CEK5DSUTND4JP/graph.json","fetch_events":"https://pith.science/api/pith-number/3M7PQKJG6BI67CEK5DSUTND4JP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP/action/storage_attestation","attest_author":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP/action/author_attestation","sign_citation":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP/action/citation_signature","submit_replication":"https://pith.science/pith/3M7PQKJG6BI67CEK5DSUTND4JP/action/replication_record"}},"created_at":"2026-06-19T16:13:13.651153+00:00","updated_at":"2026-06-19T16:13:13.651153+00:00"}