Détail de l'auteur
Auteur Véronique Cortier |
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Electronic Voting / Robert Krimmer ; SpringerLink (Online service) ; Melanie Volkamer ; Véronique Cortier ; Bernhard Beckert ; Ralf Küsters ; Uwe Serdült ; David Duenas-Cid / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2019)
Titre : Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings Type de document : document électronique Auteurs : Robert Krimmer, ; SpringerLink (Online service) ; Melanie Volkamer, ; Véronique Cortier, ; Bernhard Beckert, ; Ralf Küsters, ; Uwe Serdült, ; David Duenas-Cid, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2019 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11759 Importance : X, 233 p. 53 illus., 25 illus. in color Présentation : online resource ISBN/ISSN/EAN : 978-3-030-30625-0 Langues : Anglais (eng) Tags : Data encryption Computer science Computer organization Computers Cryptology Computer Systems Organization and Communication Networks Information Systems and Communication Service Résumé : This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were carefully reviewed and selected from 45 submissions. The conference was organized in tracks on security, usability and technical issues, administrative, legal, political and social issues, elections and practical experiences, posters and e-voting system demo Note de contenu : E-Voting - An overview of the development in the past 15 years -- UnclearBallot: Automated Ballot Image Manipulation -- Election Manipulation with Partial Information -- Online Voting in a First Nation in Canada: Implications for Participation and Governance -- Online Voting in Ontario Municipal Elections: A Conict of Legal Principles and Technology? -- The Swiss Post/Scytl transparency exercise and its possible impact on internet voting regulation -- How Do the Swiss Perceive Electronic Voting? Social Insights from a Qualitative Field Survey -- Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs -- The Swiss Postal Voting Process and its System and Security Analysis -- Auditing Indian Elections -- Election Integrity and Electronic Voting Machines in 2018 Georgia -- Risk-Limiting Tallies -- The Danish Party Endorsement System -- On practical aspects of coercion-resistant voting systems Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147961 Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings [document électronique] / Robert Krimmer, ; SpringerLink (Online service) ; Melanie Volkamer, ; Véronique Cortier, ; Bernhard Beckert, ; Ralf Küsters, ; Uwe Serdült, ; David Duenas-Cid, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2019 . - X, 233 p. 53 illus., 25 illus. in color : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11759) .
ISBN : 978-3-030-30625-0
Langues : Anglais (eng)
Tags : Data encryption Computer science Computer organization Computers Cryptology Computer Systems Organization and Communication Networks Information Systems and Communication Service Résumé : This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were carefully reviewed and selected from 45 submissions. The conference was organized in tracks on security, usability and technical issues, administrative, legal, political and social issues, elections and practical experiences, posters and e-voting system demo Note de contenu : E-Voting - An overview of the development in the past 15 years -- UnclearBallot: Automated Ballot Image Manipulation -- Election Manipulation with Partial Information -- Online Voting in a First Nation in Canada: Implications for Participation and Governance -- Online Voting in Ontario Municipal Elections: A Conict of Legal Principles and Technology? -- The Swiss Post/Scytl transparency exercise and its possible impact on internet voting regulation -- How Do the Swiss Perceive Electronic Voting? Social Insights from a Qualitative Field Survey -- Improvements in Everlasting Privacy: Efficient and Secure Zero Knowledge Proofs -- The Swiss Postal Voting Process and its System and Security Analysis -- Auditing Indian Elections -- Election Integrity and Electronic Voting Machines in 2018 Georgia -- Risk-Limiting Tallies -- The Danish Party Endorsement System -- On practical aspects of coercion-resistant voting systems Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=147961 Electronic Voting / Robert Krimmer ; SpringerLink (Online service) ; Melanie Volkamer ; Véronique Cortier ; Rajeev Goré ; Manik Hapsara ; Uwe Serdült ; David Duenas-Cid / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2018)
Titre : Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings Type de document : document électronique Auteurs : Robert Krimmer, ; SpringerLink (Online service) ; Melanie Volkamer, ; Véronique Cortier, ; Rajeev Goré, ; Manik Hapsara, ; Uwe Serdült, ; David Duenas-Cid, Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2018 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 11143 Importance : IX, 203 p. 54 illus Présentation : online resource ISBN/ISSN/EAN : 978-3-030-00419-4 Langues : Anglais (eng) Tags : Data encryption Computer science Data protection Computer network architectures Software engineering Information systems Cryptology Security Computer Systems Organization and Communication Networks Software Engineering Programming and Operating Systems Computer Applied in Administrative Data Processing Computers and Society Résumé : This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections Note de contenu : Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=143039 Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings [document électronique] / Robert Krimmer, ; SpringerLink (Online service) ; Melanie Volkamer, ; Véronique Cortier, ; Rajeev Goré, ; Manik Hapsara, ; Uwe Serdült, ; David Duenas-Cid, . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2018 . - IX, 203 p. 54 illus : online resource. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 11143) .
ISBN : 978-3-030-00419-4
Langues : Anglais (eng)
Tags : Data encryption Computer science Data protection Computer network architectures Software engineering Information systems Cryptology Security Computer Systems Organization and Communication Networks Software Engineering Programming and Operating Systems Computer Applied in Administrative Data Processing Computers and Society Résumé : This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections Note de contenu : Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=143039 Formal to Practical Security / SpringerLink (Online service) / Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer (2009)
Titre : Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration Type de document : document électronique Auteurs : SpringerLink (Online service) ; Véronique Cortier, Éditeur scientifique ; Claude Kirchner, Éditeur scientifique ; Mitsuhiro Okada, Éditeur scientifique ; Hideki Sakurada, Éditeur scientifique Editeur : Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer Année de publication : 2009 Collection : Lecture Notes in Computer Science - LNCS, ISSN 0302-9743 num. 5458 Présentation : v.: digital ISBN/ISSN/EAN : 978-3-642-02002-5 Langues : Anglais (eng) Descripteurs : Biostatistique La biostatistique (appelée aussi biométrie) est l'application des statistiques à un large éventail de sujets en biologie. Cela englobe la conception des expériences biologiques (dans la médecine et l'agriculture), la collecte des informations, la compilation et analyse des données chiffrées de ces expériences, l'interprétation des résultats en vue d'avancer une conclusion., Données massives , Information (Théorie)Tags : Coding and Information Theory Computer science Data encryption Data structures Biometrics Coding theory Optical pattern recognition Computer Science Data Encryption Computers and Society Data Structures Cryptology and Information Theory Pattern Recognition Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=85608 Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration [document électronique] / SpringerLink (Online service) ; Véronique Cortier, Éditeur scientifique ; Claude Kirchner, Éditeur scientifique ; Mitsuhiro Okada, Éditeur scientifique ; Hideki Sakurada, Éditeur scientifique . - Berlin ; Heidelberg (DEU) ; New York ; Bâle (CHE) : Springer, 2009 . - : v.: digital. - (Lecture Notes in Computer Science - LNCS, ISSN 0302-9743; 5458) .
ISBN : 978-3-642-02002-5
Langues : Anglais (eng)
Descripteurs : Biostatistique La biostatistique (appelée aussi biométrie) est l'application des statistiques à un large éventail de sujets en biologie. Cela englobe la conception des expériences biologiques (dans la médecine et l'agriculture), la collecte des informations, la compilation et analyse des données chiffrées de ces expériences, l'interprétation des résultats en vue d'avancer une conclusion., Données massives , Information (Théorie)Tags : Coding and Information Theory Computer science Data encryption Data structures Biometrics Coding theory Optical pattern recognition Computer Science Data Encryption Computers and Society Data Structures Cryptology and Information Theory Pattern Recognition Permalink : https://genes.bibli.fr/index.php?lvl=notice_display&id=85608