Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-31T03:58:10.539158Z
Paper Citation Record · LEDGER
Formalization of security
As of 10 August 2026, this Paper Citation Record lists 100 of 205 outbound references and 0 inbound Pith citation observations for arXiv:2607.28551.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
100 of 205 outbound references displayed
- verified exact52
- verified fuzzy0
- unresolved48
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f2d6cc56-c2fe-4a4d-be1e-71a41da45f56 · outbound
This paper cites URLwww.cheri-cpu.org.
Formalization of security URLwww.cheri-cpu.org
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.205024Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f02aa414-3eb7-48fe-8f23-373e30e2fd92 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 2
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:36.505682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5df19ce0-315d-4505-b0d3-5125893666e6 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.212443Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55fe2f5d-6737-49dd-89ab-4a34bc78720a · outbound
This paper cites ACM Trans.
Formalization of security ACM Trans
Reference 4
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:36.383174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ad76c1c3-5cb5-4d0e-8262-a7336fb01adf · outbound
This paper cites In: CSF 2019, pp.
Formalization of security In: CSF 2019, pp
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.218954Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37c82838-9173-48a9-ab30-88d96fe0073a · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:36.239324Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c5722516-fb01-4446-8cf8-475ebfa8fd3d · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 7
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:36.134493Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 34caca48-e457-4dd0-b038-9aa03ac466e3 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.228186Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac3578e8-e95b-4910-a427-408176013b57 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.236502Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9031729a-2477-4372-a7ec-08460a5bdccb · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 14
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:36.028705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cf64bc97-d3c9-4b42-bee5-fe35d6df65e0 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.247803Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6be6d00-6ad2-4205-9d09-5d9d138defab · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.908444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3c0eeff9-2d0b-4172-a461-5548b58fdcc0 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.804410Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ec5ea9f9-9c9a-4aa6-9a7a-d972529384ab · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.689221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8df0f689-5f70-4968-a8cc-a39cb9eddc85 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.259410Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26e2536b-1a9a-4a62-a427-2fd29bb5ac49 · outbound
This paper cites ACM Trans.
Formalization of security ACM Trans
Reference 20
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.535450Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a1851127-9be4-4aba-9422-8623db427dbe · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.265620Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ed66a5f-30ae-48bd-8219-687099fed76f · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.438753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a043ed92-0d73-47c1-9a62-bec1d17528d0 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.271428Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 027f0e8f-264a-4222-af72-e78b917a1165 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 25
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.332538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 20669b62-3123-48ca-a417-5fa26a9cebbf · outbound
This paper cites In: SP 2015, pp.
Formalization of security In: SP 2015, pp
Reference 26
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.225965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 421cdef7-3528-4020-b406-8fe2135958dc · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.120232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 054f8202-7312-4095-b001-5dc8b8566e9a · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.297405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 89833a0c-cc82-4a45-aad9-c01c7eafa94d · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 33
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:35.015769Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ae0b36d5-9f75-4acd-a2cd-b87d2ff6e8eb · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.302932Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3429f76-cb3f-4b52-b29d-3dbd087c2924 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.305409Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0fdcec36-547a-40e3-9a92-41c411c8a722 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.901153Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation aaaeffa9-247a-4dd4-9f5d-a1c9f1d54d18 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 38
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.738390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation afd439df-f393-45ea-9ace-81602d3e5202 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.316514Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa049393-773e-4657-a202-b16bb69a67ea · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.319053Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17170031-f2a1-4b82-92e5-88769f5cc321 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.321607Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a1247329-998e-49c8-85b7-75e2df56b38a · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 42
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.628346Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 485dbe39-eb5e-4dbc-b411-40dddd796c09 · outbound
This paper cites constant-time.
Formalization of security constant-time
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.326963Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 586e46ea-ffc4-4cac-a119-ff6b473b8cbf · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.329526Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ad7af100-45d2-4310-9630-bdd90da3d62d · outbound
This paper cites In: CSF 2010, pp.
Formalization of security In: CSF 2010, pp
Reference 45
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.469098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7835554e-15fb-4530-ad92-b9535b7aab65 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.335008Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80790ad3-413d-452d-982c-b9574011a4d1 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.337592Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7faa30da-addf-43f5-8146-645fb1656613 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.361086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 55404fe5-d41c-4037-b3cd-e64187863df5 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 49
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.260994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation bfaec3f6-0c46-4f5f-9bfa-7470b0d9823b · outbound
This paper cites ACM Trans.
Formalization of security ACM Trans
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.349156Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d467a0d-1676-4272-8cbf-a65c3b1e95be · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.157049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 03cc3a40-d110-42df-b790-62838dec6f95 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.354811Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5098485c-c908-4e4a-a863-4c3ad52e52dc · outbound
This paper cites In: SP 2017, pp.
Formalization of security In: SP 2017, pp
Reference 54
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:34.038768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c9f8901d-90fb-4824-9ddd-a3958debc26c · outbound
This paper cites Springer (2007).
Formalization of security Springer (2007)
Reference 55
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.878960Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 58cdd85f-9bbd-4b45-8357-411ea802eee4 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.362910Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fcb3cab-e878-4cf1-94e0-b9f43ca2366e · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 57
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.760562Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 896f162e-f539-4a25-ae2b-f68cabd56e2d · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 58
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.613002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4970dc79-0235-4d68-8002-cb464e0af796 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 59
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.496080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d38538df-5bd2-4ebb-a916-08b62ec42932 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.374189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fa1e3c0-3538-4114-950a-63ebdf332c02 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 61
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.386782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2bdfaa81-3c4e-44d1-b43b-7c1f51a33c43 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 62
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.279820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f6b09ad3-94fa-4d0a-becc-697196255ba3 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 63
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.178398Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7b858285-5d46-4640-bb8a-9c6301b6d2c0 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 64
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:33.055972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 29b1e11c-45cd-4e3c-9c8d-ef3945f4e257 · outbound
This paper cites In: e-Smart 2002, pp.
Formalization of security In: e-Smart 2002, pp
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.388043Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee18c659-4143-4c0d-b86e-7f2ec84335fc · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 66
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:32.910637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d4520801-bb8a-458b-b29a-7ff45f2bec17 · outbound
This paper cites PhD thesis, University of Pennsylvania (2012).
Formalization of security PhD thesis, University of Pennsylvania (2012)
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.394185Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7197496c-4cbc-4eb7-a870-087aca0d4172 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.396755Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53d0c0ea-8383-469e-892e-b41d5a681916 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.399374Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 777ccdf2-98cd-48cc-8963-2333fb649165 · outbound
This paper cites In: CSFW ’97, pp.
Formalization of security In: CSFW ’97, pp
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.402473Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d85d7fe-e9c4-41ce-a720-0b8a52cd126e · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.409518Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1770e14e-eff7-4bf5-99d3-9d7d11e6fa29 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 74
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:32.680836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5549f842-6d3f-43ce-9638-8f32b75d822c · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 75
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:32.412112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5578a71b-5d4c-4e85-a0a2-0daa4ee501b8 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 76
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:32.180971Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8163daf0-f4ff-49ea-b51b-e1e476ecbd6f · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.424718Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce4b8019-7a01-4590-ba98-54fea51bd3a9 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 78
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.957835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9526b1c4-8e4a-4b2d-8e8f-687e454bebf2 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 79
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.791927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c0fa024d-79b4-464e-963b-dfc35ebe13bb · outbound
This paper cites In: CSF 2019, pp.
Formalization of security In: CSF 2019, pp
Reference 80
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.433005Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0947ba77-aa6f-4a1c-a955-27e049ebf116 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.435614Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81224278-7167-488b-b8fa-5bfce8cd1140 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 83
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.578438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8ca2db4f-f82e-463c-97a1-e97a3c09fdda · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 84
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.444649Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fffa7a5-93d0-4dd7-8e77-6ce603e2cc06 · outbound
This paper cites Habilitation thesis (2023).
Formalization of security Habilitation thesis (2023)
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.447453Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b2745f5-b5cb-44a1-bf7b-f82214ca5343 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 86
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.432818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9c388130-ca77-47ff-89d0-7bfef254c771 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 87
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.453100Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7f68b62-f6a0-44db-a62f-9c1fb5c31650 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.456161Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3c34259-e6a2-4e01-9563-89a1498a3cfe · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.458815Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78a6dca7-56be-4ae3-9fa6-c11d2c40fd0c · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 90
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.271729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0ca6b216-7cab-4775-b75f-5d3ec1f64f45 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 91
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:31.133768Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c8ce0ed0-23aa-49e7-b490-4ed97d5b9fd9 · outbound
This paper cites In: SP 2017, pp.
Formalization of security In: SP 2017, pp
Reference 92
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:30.909363Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 56fcf4df-4c28-4afc-9c42-0081287b804e · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 93
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.469968Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f64193d-d6a6-4a5d-9f02-d63ee1fbe812 · outbound
This paper cites In: SP 2022, pp.
Formalization of security In: SP 2022, pp
Reference 94
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.472821Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a2e3475-a368-4f04-ba59-280e0da669b4 · outbound
This paper cites In: SP 2012, pp.
Formalization of security In: SP 2012, pp
Reference 95
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:30.744841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c4ba3823-c810-44d8-9d51-dae6f43d908d · outbound
This paper cites In: SP 2014, pp.
Formalization of security In: SP 2014, pp
Reference 96
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:30.579454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f1236913-b66a-421f-9c49-af5c4a005f7d · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 97
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.481071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55df4a60-def0-46c0-88a2-ef5b2af75d44 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 98
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.483874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49dba71f-c817-4ce6-96a1-2045f359bd80 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 99
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.486467Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 175508de-935b-4c2e-a470-6063a2aa99c1 · outbound
This paper cites Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version).
Formalization of security Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
Reference 100
- Resolution
- verified exact
- local_arxiv, observed 2026-07-31T04:01:30.420823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 52211bed-eb37-4527-966e-38a4d23cad30 · outbound
This paper cites IEEE Trans.
Formalization of security IEEE Trans
Reference 101
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.492280Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56a11018-1365-42a3-b249-128bc06ec67d · outbound
This paper cites In: 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015, pp.
Formalization of security In: 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015, pp
Reference 102
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.494972Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb925b12-7c6a-47fb-82b0-748bd2394635 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 103
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.498090Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 61a839c5-e4b1-4db0-9b5f-cc19c6c07c56 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 104
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:30.240915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 36100d6d-a3e6-4b64-845b-ce1109a14eec · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 105
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:30.028447Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5e568a61-f763-482b-b6be-f754362870ce · outbound
This paper cites In: SP 2019, pp.
Formalization of security In: SP 2019, pp
Reference 107
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.508694Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a846dfc-e095-4483-9b88-c14cda36a7ae · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 108
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:29.759374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b456d68c-9c80-4324-8d77-63779b549881 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 109
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:29.494298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ee93fe65-419a-4303-8c4a-e2456509a094 · outbound
This paper cites ACM SIGLOG News10(2), 4–23 (2023).
Formalization of security ACM SIGLOG News10(2), 4–23 (2023)
Reference 110
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.517326Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation affdeaed-64fc-4aac-87b1-920bb1712ac3 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 112
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T03:58:10.522460Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4435f360-2231-45b9-b10e-8a1d90a0291e · outbound
This paper cites In: CSF 2016, pp.
Formalization of security In: CSF 2016, pp
Reference 114
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:29.240911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6dcf9a11-896b-4de5-bd67-baf2232cd833 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 115
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:29.068098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c6b6f0f7-4510-4f4f-aa84-74469cfff73e · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 117
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:28.808755Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8c88620b-7350-4e7e-8b42-222782d13945 · outbound
This paper cites an unresolved cited work.
Formalization of security Unresolved cited work
Reference 118
- Resolution
- verified exact
- doi, observed 2026-07-31T04:01:28.629943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Pith citing papers
No inbound Pith citation observations are available.