Skip to content
Paula Livingstone writing · projects · tools

Projects

Attestable

When probabilistic AI feeds safety-critical systems, unproven output can drive physical action unchecked. Attestable is a discipline for marking a claim's basis, so it cannot.

OT SecurityCyber-Physical AssuranceIEC 62443ProvenanceSafety CaseLLM Agents

Conclusion

3 entries

Findings, limitations, and further work. Not yet begun.

  1. What Was Asked, and What the Work Answers
  2. Contributions, and What the Evaluation Falsified
  3. The Operational Boundary, and What Follows