Accueil
FOCUS Research Seminar "Attested TLS and its Formalization in ProVerif" by Prof. M.U. Sardar (TU Dresden, Germany)