Trail of Bits

Security research and consulting firm. AI assurance division led by Heidy Khlaaf. Works on formal verification and safety-critical systems.