Verifiable security & modernisation
Every result comes with proof anyone can check.
Verifluxlabs builds security and migration software that produces signed, independently verifiable evidence, not just claims.
Quorumwatch
Kernel-level runtime security for AI agents.
eBPF-LSM sandboxing
Agents are confined at the kernel level, below anything they can tamper with.
Collusion detection
Detects agents working together to leak data, and traces each leak back to the first permission that touched the secret.
Live kills
Colluding agents are shut down live, while the leak is in progress.
Quorum-signed verdicts
Every verdict is co-signed by several monitors and can be verified offline.
- 3,099runtime tests passing
- 362detection tests passing
- 263kernel tests passing
Live demos on Ubuntu (kernel 6.8) and Rocky Linux (kernel 5.14).
Legacy Migration Forge
Proof-backed mainframe migration.
COBOL, JCL, CICS, VSAM
Migrates mainframe workloads to Rust, Java or C#.
Byte-identical proof
New code is checked byte-for-byte against GnuCOBOL and z/OS reference runs.
Signed receipts
Every run issues a signed receipt that can be verified independently.
- 12 / 12AWS CardDemo batch programs proven byte-identical
- 10 jobsfull JCL batch cycle
- 32 stepsproven byte-identical
Licensing, partnership & acquisition
Verifluxlabs is open to licensing, partnership and acquisition conversations for Quorumwatch and Legacy Migration Forge. Technical walkthroughs and live demos are available on request.
Contact
Troy Daniels, Founder, Verifluxlabs
South Australia