Cours d'introduction à la cryptographie moderne : fondements algorithmiques, conception de protocoles, sécurité prouvée.