Myrto Arapinis – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone+ 44 (0) 131 650 9981
Emailmarapiniinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/marapini

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

2 Finished
2 Active

2 results

Filter

Finished
Entrapping Machines
Arapinis, M. & Kashefi, E.
Non-EU other
15/01/17 → 14/01/21
Project: Research
Verification of cryptographic protocols: modular analysis of equivalence properties
Arapinis, M.
EPSRC
1/11/16 → 30/09/18
Project: Research