Analysis of real-world security protocols in a universal composability frameworkMax TuengerthalÉpuisé4,3Prévenez-moi
