Supervisor: Sjouke MAUW
Event
PhD Defense: ANALYSIS OF SMARTCARD-BASED PAYMENT PROTOCOLS IN THE APPLIED π-CALCULUS USING QUASI-OPEN BISIMILARITY
-
Conférencier Semen YURKOV
-
Lieu
Belval Campus – Maison du Nombre – CB-MNO 01 2 6 020 (CB-MAI-NOMBRE 1.020)
LU