PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Building a Verified Cryptographic Protocol Library

azienda Thesis in external company    estero 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