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
(1955)- E-pub ahead of print
BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers
Research output: Contribution to journal › Article
- Published
Efficient synthesis of robust models for stochastic systems
Research output: Contribution to journal › Article
Projects
(90)Leverhulme Trust Visiting Professorship
Project: Research
ID: 2941