Formal Models and Techniques for Analyzing Security Protocols

מאת Cortier, Véronique, Kremer, Steve
יצא לאור 2013

Electronic Voting

מאת Krimmer, Robert, Volkamer, Melanie, Cortier, Véronique, Goré, Rajeev, Hapsara, Manik, Serdült, Uwe, Duenas-Cid, David
יצא לאור 2020