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
Projects
Current and past work.
A record of projects, experiments, and work in progress.
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
Model Internals
A hands-on, evidence-first investigation into what actually happens inside a running language model, opening one up on local hardware and testing directly why it does what it does.
PythonPyTorchHugging Face TransformersQwen3-4BApple M4 ProMetal
Boiler Beacon
Low-cost condition monitoring for domestic boilers. Industry has watched its machines for forty years; the boiler on your wall has never been watched at all, because the sensing always cost more than the asset.
Condition MonitoringEmbedded SensingRepresentation LearningAnomaly DetectionPredictive MaintenanceTime-Series Analysis
Process-State Firewall
A firewall decides what may cross by looking at addresses, ports and protocols. In a plant, whether a request is safe also depends on what the machinery is doing right now. This is a seed concept for making network access conditional on trusted, current evidence of physical state.
OT SecurityIndustrial Control SystemsNetwork SecurityCyber-Physical AssuranceProvenancenftables