Audit data sovereignty residency evidence integrity
Audit every governed data asset's point-in-time storage, processing, replica, backup, log/cache and key locations plus cross-region transfers against an effective counsel-supplied residency policy, independent evidence, encryption controls and retention limits.
Constrained optimization
Audit software supply chain integrity
Audit the deployed runtime software supply chain from application roots through resolved dependency edges: reconcile SBOM freshness, version resolution, source pinning, artifact attestation, support horizon, license policy, vulnerability disposition, evidence coverage and unique application value without treating repository text as provenance or exploitability evidence.
Constrained optimization
Optimize cyber control portfolio
Find a budget-, capacity-, availability- and defense-depth-feasible cyber-control portfolio on a nonlinear attack-path graph, recomputing unique-asset expected loss and CVaR under dependencies, exclusions and multiplicative effects.
Network & dependency analysis
Optimize identity assurance response portfolio
Choose one preauthorized identity-assurance response per aggregate account-risk case by maximizing simulated net access value minus security, false-positive, operating and CVaR costs under budget, capacity, control, availability and due-process constraints.
Sequential Bayesian & bandits
Optimize software supply chain remediation portfolio
Choose exactly one accept, patch, upgrade, replace, isolate or remove option per governed component while unique application disruption paths, direct incident loss, transition/operating/upfront cost, license compliance, scenario availability, cross-option feasibility, budget, capacity and CVaR are optimized together with exact or disclosed beam search.
Constrained optimization
Optimize sovereign data placement portfolio
Choose one executable regional placement per governed data workload by Monte Carlo posterior risk and exact/beam Pareto search under hard residency, KMS, encryption, diversity, latency, availability, relation, budget and capacity constraints.
Sequential Bayesian & bandits