| KEYWORD |
Building a Verified Cryptographic Protocol Library
Thesis in external company 
Thesis abroad
keywords SECURITY, SAFETY, POLICIES, MODELS, ANALYSIS TOOLS
Reference persons RICCARDO SISTO
External reference persons ALFREDO PIRONTI (alfredo.pironti@polito.it)
Research Groups FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Thesis type RESEARCH, INNOVATIVE
Description This thesis is about the development of implementations of security protocols with associated mathematical correctness proofs.
This thesis is a good opportunity for outstanding students interested in studying joint theoretical and practical aspects of computer security, especially if they aim at continuing their studies after MS with a PhD abroad. Details about the thesis are available via the attached link.
If interested, please contact riccardo.sisto@polito.it
See also http://moscova.inria.fr/~karthik/projects/mpri-2011-1.html
Required skills Java programming, communication protocols, distributed software programming, information security . The other needed skills will be acquired during the thesis work.
Deadline 15/02/2011
PROPONI LA TUA CANDIDATURA