Trail of Bits
@trailofbits
We're the only red team for @ARIA_research's Safeguarded AI programme, led by @AmmannNora.
Each development cycle, we attack the code, its proofs, and everything those proofs rest on: the models, specs, assumptions, and deployment choices behind every team's assurance case.
Each development cycle, we attack the code, its proofs, and everything those proofs rest on: the models, specs, assumptions, and deployment choices behind every team's assurance case.
ARIA@ARIA_research · Sep 24AI-enabled cyber attacks are getting faster + going further. But what if AI-enabled formal methods could make high-assurance cyber defence practical at unprecedented speed + scale? We’re funding eight teams with £22m to test that idea. Meet them here: link.aria.org.uk/SAI-TA2-Creato…
2:46 3 47