Paper Citation Record · LEDGER

Neurosymbolic Characterization for Reliable Access Control Policy Analysis

As of 23 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 2 inbound Pith citation observations for arXiv:2510.20692.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2510.20692 v3

Coverage vector

measured 41 of 41 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T08:29:01.025776Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-15T13:33:03.007278Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

41 of 41 outbound references displayed

verified exact2
verified fuzzy0
unresolved37
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 24eb411f-efce-4d81-a5b7-735dcf5bbc51 · outbound

This paper cites Abad-Peiro, Hervé Debar, Thomas Schweinberger, and Peter Trommler.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Abad-Peiro, Hervé Debar, Thomas Schweinberger, and Peter Trommler

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:57.702116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a650030c-493e-495c-adf1-7cfb250be6e3 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:57.836589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84753f7b-2171-4c2a-8da5-7b814b62d568 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:57.933357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c88af55d-4175-4335-ab1c-09327f627b5f · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.031418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef8b6166-a1ff-4d0e-a985-1ae31f4db364 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.094798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 966d7c1d-19a3-499c-a14b-8bae7ef5492d · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.183956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 620700d7-15f2-4707-8953-0eb2d399d179 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.256860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a896c8ce-4622-4715-b490-a597c71bb260 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.322956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a2e12b0-9760-4caf-964e-10f3e6dcb5e9 · outbound

This paper cites Dougherty, Kathi Fisler, and Shriram Krishnamurthi.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Dougherty, Kathi Fisler, and Shriram Krishnamurthi

Reference 10

Resolution: verified exact; doi, observed 2026-08-04T08:33:29.819759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 27eb822d-cf4d-46c6-9a21-03300d817829 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.518079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc7224d5-8eb5-48e0-880c-c2c95b816013 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.587619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 871b42df-91e8-4c85-af4a-6049ccf8a0e0 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.657026Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 112214d6-f33b-4676-a66c-acc6f367ff2c · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.717899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562735b7-2b12-4bfd-8136-c8b5f3fb70fa · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-04T08:28:58.773309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51333d56-df2a-4b85-9405-496ec244d204 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.834251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d0486e2-b37d-4ba3-b657-cc04b20235e0 · outbound

This paper cites Fisler, S.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Fisler, S

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:58.878117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52853beb-2299-4ced-8614-17b1b34260cf · outbound

This paper cites Fisler, S.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Fisler, S

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.022492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d06594a9-0232-4f45-816b-e7063c8bd274 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.107889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b41f165-f32a-4dcb-a1b3-1b40fd7017eb · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.208705Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcf99aa5-ee56-4d33-9da4-ff0fecfc78fa · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-04T08:33:29.592169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 23299f8c-bdd4-4bcd-97a9-43d91cf1551c · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 22

Resolution: malformed identifier; no resolver link, observed 2026-08-04T08:28:59.500220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db18b3ff-c905-4fcb-b9a0-9f4a64f0f05e · outbound

This paper cites Jajodia, P.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Jajodia, P

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.595833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05833610-504a-4c8c-8e7d-2e4d3063a3ff · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.719314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 584cd939-405d-4fec-af9c-86d82755e3db · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.820093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5c65208-1034-4cc6-8f3a-ad696e2bb333 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.892549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34d9a9c9-5785-4853-8f97-afecd941cdd9 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.966300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3180dc0a-d2ab-431d-b588-b9e9c042f7d9 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.070199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b190de02-5209-4845-86e0-4a254986f970 · outbound

This paper cites Using an LLM to Help With Code Understanding.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Using an LLM to Help With Code Understanding

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.139280Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5b73de3-6dba-4996-98de-60b88a1e0ef0 · outbound

This paper cites Dougherty, Kathi Fisler, and Shriram Krishnamurthi.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Dougherty, Kathi Fisler, and Shriram Krishnamurthi

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.210891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 821a060b-1b68-46e1-8403-8ffd36f8f824 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.288560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bac7236-34a1-41c0-9f67-6c31c479069a · outbound

This paper cites Rubio-Medrano, Akash Kotak, Wenlu Wang, and Karsten Sohr.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Rubio-Medrano, Akash Kotak, Wenlu Wang, and Karsten Sohr

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.357458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d677e2d4-a0cd-4a07-acc6-51ba61a7fa87 · outbound

This paper cites 2001.Foundations of Security Analysis and Design.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis 2001.Foundations of Security Analysis and Design

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.415155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6daaa6b-2492-4cc2-afcb-4bb8d749c5fc · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.509379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83fa146c-57b8-4936-989b-50b2aef48927 · outbound

This paper cites Sandhu and Pierangela Samarati.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Sandhu and Pierangela Samarati

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.600806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a9cc3a5-74b8-48db-b537-72be47e05286 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.695993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d78725b0-94b3-4d92-93bf-772ce24932d8 · outbound

This paper cites DePLOI: Applying NL2SQL to Synthesize and Audit Database Access Control.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis DePLOI: Applying NL2SQL to Synthesize and Audit Database Access Control

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.764816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d5a8a70-01bb-43f9-adfe-068ec1bace37 · outbound

This paper cites Synthesizing Access Control Policies using Large Language Models.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Synthesizing Access Control Policies using Large Language Models

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.867347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98a912fe-1126-4b49-891e-9a9dc1211635 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.911750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f1b0eb4-2d85-4cd0-9776-148eabf39eca · outbound

This paper cites an unresolved cited work.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:00.971883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eba8b967-38c5-47ba-b46b-da2ec82847e9 · outbound

This paper cites InfeRE: Step-by-Step Regex Generation via Chain of Inference.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis InfeRE: Step-by-Step Regex Generation via Chain of Inference

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T08:29:01.025776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32817274-bbab-48c5-96f1-77f8fb489bbe · outbound

This paper cites Large Language Models for Software Engineering: A Systematic Literature Review.

Neurosymbolic Characterization for Reliable Access Control Policy Analysis Large Language Models for Software Engineering: A Systematic Literature Review

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-04T08:28:59.282250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation a368bb98-1ff0-418d-9910-23cdd2ab294c · inbound

Combinatorial Allocation Bandits with Nonlinear Arm Utility cites this paper.

Combinatorial Allocation Bandits with Nonlinear Arm Utility Neurosymbolic Characterization for Reliable Access Control Policy Analysis

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-15T13:33:03.007278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 882cea04-d523-495f-88e7-dc6c094be630 · inbound

AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis cites this paper.

AutoCedar: An Agentic Framework for Verifier-Guided Access Control Policy Synthesis Neurosymbolic Characterization for Reliable Access Control Policy Analysis

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T00:53:42.929719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.