Idk about Oxford but Cambridge is top notch. In high-assurance security, the CHERI work is one of the best: https://www.cl.cam.ac.uk/research/security/ctsrd/ch

Idk about Oxford but Cambridge is top notch. In high-assurance security, the CHERI work is one of the best: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ A quick Google of verification work (decent test of skill) shows Oxford doing CBMC for C language (significant), a compiler for security protocols, automatic verification of firmware for Intel, work on CSP for concurrency, and contributions to Cadence Jasper for ASIC verification. So, they're not doing the best work but they're not sitting on their hands either.