Pith. sign in

Paper Citation Record · LEDGER

Governable AI: Provable Safety Under Extreme Threat Models

As of 6 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2508.20411.

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

pith.paper-citation-record.v1
2508.20411 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T15:11:19.776229Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

  • verified exact2
  • verified fuzzy46
  • unresolved2
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 27931313-5828-4758-8e5a-3db9dee343ed · outbound

This paper cites An overview of artificial intelligence ethics,.

Governable AI: Provable Safety Under Extreme Threat Models An overview of artificial intelligence ethics,

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.954915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.127603Z digest=sha256:714e071e4e15748cb80613eeb2f597029df211b3e2a137300812b24908744111

Observation c343b529-90ad-48ea-bfd3-333b34af09f7 · outbound

This paper cites Language models are few-shot learn- ers,.

Governable AI: Provable Safety Under Extreme Threat Models Language models are few-shot learn- ers,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.764818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.137124Z digest=sha256:68c97ca3db624e355449bd714aaa19038c793d0250b75af1186d152ab5c20262

Observation 245f2eb2-d7ef-42c7-9dfe-2e3a3a8541c5 · outbound

This paper cites Supervised contrastive learning for generalizable and explainable deepfakes detec- tion,.

Governable AI: Provable Safety Under Extreme Threat Models Supervised contrastive learning for generalizable and explainable deepfakes detec- tion,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.584847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.144055Z digest=sha256:acc3195e536d56beb80983bd21589daf63169b4a7394da21d57132919f53b5d9

Observation 4d027ea3-a53a-4228-bd43-57687e9b7912 · outbound

This paper cites Artificial super intelligence: beyond rhetoric,.

Governable AI: Provable Safety Under Extreme Threat Models Artificial super intelligence: beyond rhetoric,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.414950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.150121Z digest=sha256:afc12bac55a65bb577d2bd6e55f59926125ea8a23590b7aa82eafd31ae896c2f

Observation 51aec41b-69e2-4bf9-ac6a-50ffad4934fc · outbound

This paper cites Ai safety for everyone,.

Governable AI: Provable Safety Under Extreme Threat Models Ai safety for everyone,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.254789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.156531Z digest=sha256:99f86e7800b7d7f923ec79529c800db3da5c479d2800283c3a78ce6983b0ef59

Observation 186065f3-5a9a-4f19-b83f-01110e2bca8f · outbound

This paper cites Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks.

Governable AI: Provable Safety Under Extreme Threat Models Actionable Guidance for High-Consequence AI Risk Management: Towards Standards Addressing AI Catastrophic Risks

Reference 6

Resolution
verified exact
local_arxiv, observed 2026-08-05T15:11:20.107880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.163973Z digest=sha256:091a18e859470111989144a57038e4975e86363fbed4f7f6805a992af10fa274

Observation b4d3f359-83d6-431a-9531-ce675fd325e6 · outbound

This paper cites Learning diverse and discriminative representations via the principle of maximal coding rate reduction,.

Governable AI: Provable Safety Under Extreme Threat Models Learning diverse and discriminative representations via the principle of maximal coding rate reduction,

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:28.087196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.172700Z digest=sha256:0c27bbc6ae846179dd312d828bce976e50d90629de7197eb6499e1e2b1b3b5ff

Observation 41d5b5cc-b15d-47aa-bf03-34bc14d561f5 · outbound

This paper cites A dempster-shafer ap- proach to trustworthy ai with application to fetal brain mri segmentation,.

Governable AI: Provable Safety Under Extreme Threat Models A dempster-shafer ap- proach to trustworthy ai with application to fetal brain mri segmentation,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:27.898238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.178402Z digest=sha256:6acd5e96c7e984fe7b107614aab0ae74f8465adbbbd3f8b289a6916121b6745b

Observation be77dc22-2eb2-4e2a-9210-6c78ae6c0850 · outbound

This paper cites Vistarag: Toward safe and trustworthy autonomous driving through retrieval- augmented generation,.

Governable AI: Provable Safety Under Extreme Threat Models Vistarag: Toward safe and trustworthy autonomous driving through retrieval- augmented generation,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:27.494749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.193252Z digest=sha256:0048848f24342512e38541ea8e9be1c7626d87a8641a093ebe4985969d9a73dd

Observation 31022221-06ad-4a3c-8236-0fdfeda5acff · outbound

This paper cites AI Alignment: A Comprehensive Survey.

Governable AI: Provable Safety Under Extreme Threat Models AI Alignment: A Comprehensive Survey

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-05T15:11:19.200131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T15:11:19.200131Z digest=sha256:3989972de45087384f56371b24be12f6fed0a7ef0cd74beea4435583a982f12d

Observation 5616076c-50d1-4de6-9fd1-a266e364d78d · outbound

This paper cites How rl agents behave when their actions are modified,.

Governable AI: Provable Safety Under Extreme Threat Models How rl agents behave when their actions are modified,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:27.154742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.205459Z digest=sha256:02117469775c098e4e46a3b53e534ddfddaacaa1269086fb6e5762320992a9dc

Observation 9fcb0099-3311-4104-bc9f-aa74215d568f · outbound

This paper cites Alignment of Language Agents.

Governable AI: Provable Safety Under Extreme Threat Models Alignment of Language Agents

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-05T15:11:19.213151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T15:11:19.213151Z digest=sha256:3ff0d2c55acfd704610be310ef62c4f16cd475208e38b700ba0c88bdfd764532

Observation 6173e3bc-341d-4c54-a222-62cafca2f1c9 · outbound

This paper cites On controllability of artificial intelli- gence,.

Governable AI: Provable Safety Under Extreme Threat Models On controllability of artificial intelli- gence,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:26.805912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.222966Z digest=sha256:43ce65472c94193dfd903e948504d6efaec35a80b1408d9c0a74f771270906c5

Observation 9cf1ff90-c22e-4086-8487-d93324efcf73 · outbound

This paper cites You should not control what you do not understand: the risks of controllability in ai,.

Governable AI: Provable Safety Under Extreme Threat Models You should not control what you do not understand: the risks of controllability in ai,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:26.561811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.237502Z digest=sha256:e297af19b29d0c894253facc0b6e3e7848179253149adb08c16d8f063675dcc4

Observation 083749dd-8530-4def-b6b9-6a445b8f0636 · outbound

This paper cites Rethinking explainable ai in financial services,.

Governable AI: Provable Safety Under Extreme Threat Models Rethinking explainable ai in financial services,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:26.404374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.249143Z digest=sha256:f940d0fa741c1eed244993debaac11d8b981ed832523bdc5967bf08c62425de4

Observation fb77d667-5abf-4eca-a1a4-e01eab9cb631 · outbound

This paper cites A review on explainable artificial intelligence for healthcare: Why, how, and when?.

Governable AI: Provable Safety Under Extreme Threat Models A review on explainable artificial intelligence for healthcare: Why, how, and when?

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:26.226683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.257374Z digest=sha256:d95b602171a1278c9dc129fd08b5913bab0a1ee83e88c502076ac12f96e0fbd9

Observation e7a27ea5-c8a5-4aa0-b5c3-b7beebf08309 · outbound

This paper cites A counterintuitive approach to explainable ai in healthcare: balancing transparency, efficiency, and cost,.

Governable AI: Provable Safety Under Extreme Threat Models A counterintuitive approach to explainable ai in healthcare: balancing transparency, efficiency, and cost,

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:26.064826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.265981Z digest=sha256:cc0d6425a4a6f36619d34ecbda1571827d81f03a7831c7300a12031fbc40d5e7

Observation 35f4fdf1-174e-4716-86bb-3019a55be066 · outbound

This paper cites Jcs: An explainable covid-19 diagnosis system by joint classification and segmentation,.

Governable AI: Provable Safety Under Extreme Threat Models Jcs: An explainable covid-19 diagnosis system by joint classification and segmentation,

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:25.884744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.271125Z digest=sha256:4b1eec419b78d9f5c7051a530b8645d14f12968a0721b30d0f149b9072f01873

Observation 8728d111-8a00-4a6c-ac3a-5cc1334245b6 · outbound

This paper cites Xaitk-saliency: An open source explainable ai toolkit for saliency,.

Governable AI: Provable Safety Under Extreme Threat Models Xaitk-saliency: An open source explainable ai toolkit for saliency,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:25.726556Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.289738Z digest=sha256:41254167b1aca84c7dd14f2b3f877efea1d8b8faae9ac926c7962343204dda26

Observation 65d0da57-b416-44dd-9cb6-116269c09bce · outbound

This paper cites Neuro-symbolic explainable artificial intelligence twin for zero-touch ioe in wireless network,.

Governable AI: Provable Safety Under Extreme Threat Models Neuro-symbolic explainable artificial intelligence twin for zero-touch ioe in wireless network,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:25.584746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.295142Z digest=sha256:2295c873904a72165c0771c95f2e1f5bccd5374534ab44b8b70ae015f3fa4f28

Observation 34899692-4018-493a-b557-4fedd855a3da · outbound

This paper cites Advanced artificial agents intervene in the provision of reward,.

Governable AI: Provable Safety Under Extreme Threat Models Advanced artificial agents intervene in the provision of reward,

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:25.474742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.301264Z digest=sha256:f8616dd03fba785de0a24b7d3ac9c3abb38273eb065244daadf76645c8deeaf6

Observation 0706575c-38c3-40a9-a1af-96ef472d0817 · outbound

This paper cites Controllable ai-an alternative to trustworthiness in complex ai systems?.

Governable AI: Provable Safety Under Extreme Threat Models Controllable ai-an alternative to trustworthiness in complex ai systems?

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:25.224752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.309351Z digest=sha256:0619a7bf4b1c3553de94df25ef99a5dc97b29542a8ce9e18e2f00ecc9773b092

Observation 0b4bc069-242a-4392-a40f-d6242f887657 · outbound

This paper cites Resource allocation and trust computing for blockchain- enabled edge computing system,.

Governable AI: Provable Safety Under Extreme Threat Models Resource allocation and trust computing for blockchain- enabled edge computing system,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:24.784840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.321186Z digest=sha256:923feaa9b1c5736763601f6ae18f3ff732acfa62cc94fa0a2fd6ab00987f1ac0

Observation 4253ce1b-3495-4680-939f-850e4209890c · outbound

This paper cites Design and implementation of trusted boot based on a new trusted computing dual- architecture,.

Governable AI: Provable Safety Under Extreme Threat Models Design and implementation of trusted boot based on a new trusted computing dual- architecture,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:24.468687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.327996Z digest=sha256:9f6adaccee516ceadb55fafb186799be6c96c4f99998c083286bd822c88ff18e

Observation cf528b45-ead5-4adc-8d25-9846cd0c9383 · outbound

This paper cites Trusted platform module,.

Governable AI: Provable Safety Under Extreme Threat Models Trusted platform module,

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:24.192615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.346985Z digest=sha256:36fb0c204ca4fcfaa432e47ef83276f8fb641d68e2380873c683384f287a4f86

Observation 506605f3-ea30-4d3f-a50b-0c3b3a713735 · outbound

This paper cites Research on trusted com- puting and its development,.

Governable AI: Provable Safety Under Extreme Threat Models Research on trusted com- puting and its development,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:23.875157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.357953Z digest=sha256:7f526849e92ad21051d18816b2c862c189182395b867bc2ce70f5239ee6fca7a

Observation 3c1e2176-0efa-4c6d-a935-e799e7e8da8d · outbound

This paper cites An extensive investigation of condition reachability using cbmc: Study on negative results,.

Governable AI: Provable Safety Under Extreme Threat Models An extensive investigation of condition reachability using cbmc: Study on negative results,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:23.390747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.366564Z digest=sha256:17075b4d349c1a056f4fe36434b2c988c18d1db5b6ede9f0a175d6b8a659db8d

Observation 99942227-0eba-4354-a319-bd14e3a6714b · outbound

This paper cites Klee symbolic execution engine in 2019,.

Governable AI: Provable Safety Under Extreme Threat Models Klee symbolic execution engine in 2019,

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:23.063978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.374346Z digest=sha256:c7b7b9a94acd2a8d64ee29ae2a3476c7fff5a7b89161330e2c2ee275c3d72db6

Observation 0f685f83-35aa-478f-8744-3e66f760f06e · outbound

This paper cites A formalization of core why3 in coq,.

Governable AI: Provable Safety Under Extreme Threat Models A formalization of core why3 in coq,

Reference 29

Resolution
verified exact
doi, observed 2026-08-05T15:11:19.859303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.381295Z digest=sha256:58bc1875b31ac68715f93e8c5201627a7a4da1e4de99757457c79ffe85b37fac

Observation 3d81a7de-3df3-467c-90e0-250e4d0aed2e · outbound

This paper cites Isarare: automatic verification of smt rewrites in isabelle/hol,.

Governable AI: Provable Safety Under Extreme Threat Models Isarare: automatic verification of smt rewrites in isabelle/hol,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:22.703481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.387288Z digest=sha256:d67dd6f0d9ec9e93c09976e69ca4a318b8d4e5ae50f2fdef2ec32fb92e4c4a9a

Observation e7db28c5-8495-4308-9a6c-8a9839f278ca · outbound

This paper cites Application of formal methods (sat/smt) to the design of constrained codes,.

Governable AI: Provable Safety Under Extreme Threat Models Application of formal methods (sat/smt) to the design of constrained codes,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:22.417286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.398447Z digest=sha256:9e100b92a2e4de87d5312a71fbe1932e0c8082b1db856d9993a4c234a5624328

Observation 9d8f77d7-2597-44b1-8310-0e745981ab2d · outbound

This paper cites Clips user’s guide,.

Governable AI: Provable Safety Under Extreme Threat Models Clips user’s guide,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:22.181561Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.404754Z digest=sha256:a219bedbe4be71b2767be76629a583ae7de71337c234c8da630d7d16b59c679f

Observation 93655ad7-bdf1-49c1-98bc-7ecb9edd55fd · outbound

This paper cites Bali, Drools JBoss rules 5.0 developer’s guide.

Governable AI: Provable Safety Under Extreme Threat Models Bali, Drools JBoss rules 5.0 developer’s guide

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.939719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.411303Z digest=sha256:542ec6d5dcf83a52fc9911d0b1127ae63c807f087fe339cef6c8499e76f14b42

Observation e589c810-e0c4-4ef3-9ad8-7301aa57e39f · outbound

This paper cites Friedman-Hill, Jess in action: rule-based systems in Java.

Governable AI: Provable Safety Under Extreme Threat Models Friedman-Hill, Jess in action: rule-based systems in Java

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.634746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.424158Z digest=sha256:f78e2d4df05e07aab49c728c4e338ed33d12499e70737f63d9341d13bce98b66

Observation b14242d4-6423-44cc-b266-e57c4b708001 · outbound

This paper cites Fifty years of prolog and beyond,.

Governable AI: Provable Safety Under Extreme Threat Models Fifty years of prolog and beyond,

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.541960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.441728Z digest=sha256:21e83a91fa8dbe72b5dd4e01036af912b1338f301f7a1492e1acb78bb5671bde

Observation 699e33f6-2c74-4368-b748-45559b2e443a · outbound

This paper cites Openssl 3.0. 0: An exploratory case study,.

Governable AI: Provable Safety Under Extreme Threat Models Openssl 3.0. 0: An exploratory case study,

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.458102Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.449450Z digest=sha256:0aa37161b4e0ce71963a6f597d52646547eecf583d39a41da2a336a9a9ec8b3a

Observation a0c5a94b-d905-428d-929a-fe75f9fcebb4 · outbound

This paper cites Information security using gnu privacy guard,.

Governable AI: Provable Safety Under Extreme Threat Models Information security using gnu privacy guard,

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.397762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.462725Z digest=sha256:c74f8adcad6639a2a884fd2fb81601fec6b28451edd4688b6d062b12da92602e

Observation a7cafd03-5022-4e39-be7d-33134a519bb1 · outbound

This paper cites Sigstore: Software signing for everybody,.

Governable AI: Provable Safety Under Extreme Threat Models Sigstore: Software signing for everybody,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.342948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.475397Z digest=sha256:bea9a42152a6526b412e66249ed824555b5f21f55a6ceb14a9e02d09ad7c4ce2

Observation c41d2825-89c1-4408-8250-f8e3b079a11c · outbound

This paper cites The broken verifying: Inspections at verification tools for windows code-signing signatures,.

Governable AI: Provable Safety Under Extreme Threat Models The broken verifying: Inspections at verification tools for windows code-signing signatures,

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.305011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.502502Z digest=sha256:114290ec77f1ee8e5f5b06d52e8695a18f35438b49a84a55639381ad30e46123

Observation b0ea8480-a35d-4c7a-8951-8e0860a41894 · outbound

This paper cites The provable security of ed25519: theory and practice,.

Governable AI: Provable Safety Under Extreme Threat Models The provable security of ed25519: theory and practice,

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.228581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.544750Z digest=sha256:087056fb87c376c693db4af9116698a4c7db6d27f32940a19617558b1e8fabd3

Observation fd31b93a-7e60-41c6-ac9e-7db7e71e9b4b · outbound

This paper cites Performance analysis of kyber-dna and rsa-base64 algorithms in symmetric key- exchange protocol,.

Governable AI: Provable Safety Under Extreme Threat Models Performance analysis of kyber-dna and rsa-base64 algorithms in symmetric key- exchange protocol,

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.176335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.584739Z digest=sha256:5f7ff0afba72d1700d8b5f090d921187fb238daed691ab5c10bfe70991776568

Observation 1264fc34-4fb1-4b5e-9939-2947274ec2cd · outbound

This paper cites Fast two-party threshold ecdsa with proactive security,.

Governable AI: Provable Safety Under Extreme Threat Models Fast two-party threshold ecdsa with proactive security,

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:21.113505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.621662Z digest=sha256:2978749d74e889f5ac521ddfdda3ee2095274d14b458b0eb33d812caeb0badca

Observation 2e2938e4-21ad-4ffb-9941-b335c0c3385a · outbound

This paper cites High-speed high-security signatures,.

Governable AI: Provable Safety Under Extreme Threat Models High-speed high-security signatures,

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.995969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.637359Z digest=sha256:d10b0d6dfb178033223600b24e3950a1bcaa9162aeebb22330e0274cd78456d7

Observation 657574a5-ee48-4998-a3c4-139292694ab3 · outbound

This paper cites Nist special publication 800-57 part 1, revision 4,.

Governable AI: Provable Safety Under Extreme Threat Models Nist special publication 800-57 part 1, revision 4,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.924743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.674747Z digest=sha256:d90795e9d9619ab1e3a14ea6b86033415a4a4299ef09c5267e209d5cbef5e622

Observation 7c6a14fd-c61b-4170-a680-ac834b716e7a · outbound

This paper cites Post-quantum cryptography for linux file system integrity,.

Governable AI: Provable Safety Under Extreme Threat Models Post-quantum cryptography for linux file system integrity,

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.814757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.684767Z digest=sha256:48d88cadf06c40814b2c176f67e7aa2e3af5268ddc6e1e25c6d3d7261701b524

Observation db70bf33-db52-40b8-98c3-2a2e42b9ecea · outbound

This paper cites On the security of pkcs# 11,.

Governable AI: Provable Safety Under Extreme Threat Models On the security of pkcs# 11,

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.644049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.714830Z digest=sha256:0cb3f2b7ecb07561ef234cbaf7f215e3fbc5a743b83a57b7c6715e70f40028db

Observation f256452b-e955-48c7-bdf4-69f88055f651 · outbound

This paper cites Enhanced memory- safe linux security modules (elsms) for improving security of docker containers for data centers,.

Governable AI: Provable Safety Under Extreme Threat Models Enhanced memory- safe linux security modules (elsms) for improving security of docker containers for data centers,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.554747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.722450Z digest=sha256:54ec11d962e3f04fee7c45da0c8bfedd0d0c24a3c5fca26319021d4581c0c636

Observation 2bf7b5ef-41f4-40f1-91fb-3ebbe9a6c7f1 · outbound

This paper cites Apparmor technical doc- umentation,.

Governable AI: Provable Safety Under Extreme Threat Models Apparmor technical doc- umentation,

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.511496Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.755828Z digest=sha256:0015361461a2848d47c887d98ccb9c4d0d1dd1d13c99ffe42c08d182c010940d

Observation 0c2c1cdf-9353-4922-b770-fd9d39be1721 · outbound

This paper cites Implementing selinux as a linux security module,.

Governable AI: Provable Safety Under Extreme Threat Models Implementing selinux as a linux security module,

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.362456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.770646Z digest=sha256:2a97146bb57fa5c4de085158c2547a928672d10229e508df6ecb2f55672832b6

Observation dc548bdb-f4e5-40f0-8325-f9fa2e60bceb · outbound

This paper cites Au- tomating seccomp filter generation for linux applications,.

Governable AI: Provable Safety Under Extreme Threat Models Au- tomating seccomp filter generation for linux applications,

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T15:11:20.214837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

source=pdf_text observed=2026-08-05T15:11:19.776229Z digest=sha256:7b2b615ce8f7a0418fa3edbbd123cd8f6158bb317e0b029e6e02c1e7ea64e800

Pith citing papers

No inbound Pith citation observations are available.