Engineering Blog
Articles are published for program teams, technical leadership, and architecture groups requiring rigor in cryptography, distributed systems, and adversarial resilience.
Archive
15 articles found. Showing 13-15.
Dec 23, 2023 · Secure IIoT Systems
A formal engineering analysis of secure iiot systems with emphasis on invariant-oriented specification and verification and adversarial operational constraints.
Nov 11, 2023 · Secure IIoT Systems
A formal engineering analysis of secure iiot systems with emphasis on latency-availability tradeoffs under adversarial load and adversarial operational constraints.
Oct 25, 2023 · Secure IIoT Systems
A formal engineering analysis of secure iiot systems with emphasis on failure containment and blast-radius boundaries and adversarial operational constraints.