Company: Bramah Systems Security Website Request An Audit Auditing firm focused on financial applications using formal verification and static analysis. Audit reports dydx Set Protocol