Home | Research | Ph.D. Studentships
The Formal Treatment of Identity-Based Signature Schemes
The aim of this project is to use formal and rigorous techniques to establish the security of identity-based signature (IBS) schemes and associated protocols. In particular, the project will address the security of auditable IBS schemes and their relationship to other IB and traditional signature schemes.
There are two funded studentships:
- The first studentship will address the correctness of the cryptography used in the IBS schemes. Applicants should have a strong mathematical or computer science background and ideally, have experience of probability theory, complexity theory or provable cryptography.
- The second studentship will address the correctness of protocols associated with the IBS scheme. Applicants should have a strong computer science or software engineering background and ideally, have experience in formal methods, process algebras, model checking, cryptography or security protocols.
Each studentship is funded for three years starting on 1st September 2008. The stipends will be in the range €16,000-€20,000 per annum (depending on experience/qualifications) plus fees, personal equipment and a generous travel budget for conferences, workshops, etc.
To apply for a studentship send a CV together with a letter of interest to David Gray as soon as possible. Please include contact details of two referees, and be prepared to submit transcripts of your exam results if required.
A printable version of this page is available here. For further information please contact David Gray by e-mail: Closing date for applications: 31 August 2008 The Formal Treatment of Identity-Based Signature Schemes project is funded by Science
Foundation Ireland under the Research Frontiers Programme 2008.
david (dot) gray (at) dcu (dot) ie
