Contact information
Royal Holloway, University of London
Egham Hill
Egham
Surrey
TW20 0EX
Egham Hill
Egham
Surrey
TW20 0EX
United Kingdom
- Phone: +44 1784 443421
- Fax: +44 1784 439786
- E-mail: depsec@cs.rhul.ac.uk
Publications
(2026)- Forthcoming
Multi-budgeted directed cuts
Research output: Contribution to journal › Article
- Forthcoming
A Formal Model for Checking Cryptographic API Usage in JavaScript
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Forthcoming
r/Nipah: rapid creation of an online discussion space during a serious disease outbreak
Research output: Contribution to journal › Article
Projects
(97)String Constraint Solving with Real-World Regular Expressions
Project: Research
ID: 2941