|
Searching ... |
0 % | |||
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) Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Lecture Notes in Computer Science) by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid Paperback, 216 Pages, Published 2018 by Springer ISBN-13: 978-3-030-00418-7, ISBN: 3-030-00418-X |
Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology) by Mitsuhiro Okada, Claude Kirchner, Véronique Cortier, Hideki Sakurada Paperback, 199 Pages, Published 2009 by Springer ISBN-13: 978-3-642-02001-8, ISBN: 3-642-02001-1 |
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid 203 Pages, Published 2018 by Springer ISBN-13: 978-3-030-00419-4, ISBN: 3-030-00419-8 |
Véronique Cortier