The hardening of robots and sensors against tampering and sabotage so capabilities cannot be redirected to perform unauthorized functions.
- Some robots are connected directly to BCI neural interfaces
Research
- Adhering to Defense In Depth
- Advance Trusted Execution Environment and Secure Boot, Attestation and rewriting in Rust
- AI Assisted Formal Verification
- Contract Based Multi Agent Systems
- Runtime Cross Validation
- Dedicated physical interface akin to Blockchain Ledger wallets
- Least Privilege Modular AI Systems