|
Searching ... |
0 % | |||
Formal Models and Techniques for Analyzing Security Protocols(Reprint) A Tutorial (Foundations and Trends in Programming Languages) by Veronique Cortier, Steve Kremer Paperback, 134 Pages, Published 2014 by Now Publishers Inc ISBN-13: 978-1-60198-902-4, ISBN: 1-60198-902-4 |
Formal Models and Techniques for Analyzing Security Protocols - Volume 5 Cryptology and Information Security Series by Steve Kremer, Veronique Cortier, Vaeronique Cortier Hardcover, 312 Pages, Published 2011 by Ios Press ISBN-13: 978-1-60750-713-0, ISBN: 1-60750-713-7 |
Formal Models and Techniques for Analyzing Security Protocols by Vaeronique Cortier, Veronique Cortier, Véronique Cortier, Steve Kremer Hardcover, 312 Pages, Published 2011 by Ios Press ISBN-13: 978-1-60750-714-7, ISBN: 1-60750-714-5 |
Electronic Voting(1st Edition) 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science) by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid Paperback, 230 Pages, Published 2019 by Springer ISBN-13: 978-3-030-30624-3, ISBN: 3-030-30624-0 |
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid 233 Pages, Published 2019 by Springer Nature ISBN-13: 978-3-030-30625-0, ISBN: 3-030-30625-9 |
le vote électronique les défis du secret et de la transparence by Cortier, Veronique ; Gaudry, Pierrick Softcover, Published 2022 by Odile Jacob ISBN-13: 978-2-415-00220-6, ISBN: 2-415-00220-8 |
Veronique Cortier