L'obiettivo di questo corso è insegnare alcune delle più avanzate primitive crittografiche ed presentare agli studenti argomenti recenti di ricerca su protocolli crittografici. Lo scopo del corso è anche insegnare i principi sottostanti i protocolli crittografici in una maniera rigorosa e formale. In questo corso gli studenti apprenderanno come le primitive crittografiche sono usate per implementare protocolli crittografici che soddisfino alcune prefissare proprietà di sicurezza.
Alla fine del corso gli studenti dovranno essere in grado di comprendere le proprietà di sicurezza che un protocollo crittografico deve soddisfare, progettare un protocollo crittografico elementare e provare che il protocollo progettato soddisfi le proprietè previste. Inoltre, gli studenti dovranno essere in grado di lavorare in gruppo e dovranno sviluppare capacità di esposizione di contenuti appresi recentemente, in maniera chiara e indirizzata ad un pubblico specializzato.