Vincent Cheval (Associate Professor and Tutorial Fellow in Computer Science) has been awarded a Synergy Grant by the European Research Council (ERC) to investigate the security of probabilistic systems.
ERC Synergy Grants support collaboration between outstanding researchers, bringing together diverse skills and resources to address ambitious research problems. Vincent will co-lead the Verification of Probabilistic Security Systems (VePaSS) project, which aims to develop new methods for verifying security systems that rely on randomness. By combining computer science and maths, and drawing on recent advances in probabilistic game and computer modelling, the project hopes to make digital systems safer.
Commenting on the award, Vincent said: ‘It’s really exciting to work with experts in different areas of computer science and maths. We’re using ideas from security, game theory, and symbolic computation to check that real-world security systems – like those used in industry – are actually secure. At the same time, it requires us to solve some fundamental, long-standing questions in theoretical computer science.’