Using detailed simulations built into our MAX multi-agent tool, we conduct practical assessments of the impact of attacks on security, complementing more traditional theoretical analyses.
Read more
Fuzzing, symbolic execution and abstract interpretation, amongst other techniques, enable us to uncover bugs in our programmes at an unprecedented rate. But this raises the question: what should we do with all these bugs?
Read more