Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Electronic Voting [[electronic resource] ] : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid
| Electronic Voting [[electronic resource] ] : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 233 p. 53 illus., 25 illus. in color.) |
| Disciplina | 328.73077502854 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer organization Computers Cryptology Computer Systems Organization and Communication Networks Information Systems and Communication Service |
| ISBN | 3-030-30625-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466432003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid
| Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / / edited by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 233 p. 53 illus., 25 illus. in color.) |
| Disciplina |
328.73077502854
324.65 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer organization Computers Cryptology Computer Systems Organization and Communication Networks Information Systems and Communication Service 096 Informatica 314.1 Verkiezingen |
| ISBN | 3-030-30625-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910349280003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal to practical security : papers issued from the 2005-2008 French Japanese collaboration / / Veronique Cortier ... [et al.] (ed.)
| Formal to practical security : papers issued from the 2005-2008 French Japanese collaboration / / Veronique Cortier ... [et al.] (ed.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer-Verlag, c2009 |
| Descrizione fisica | 1 online resource (VII, 199 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | CortierVeronique |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer security
Computers - Access control Data protection |
| ISBN | 3-642-02002-X |
| Classificazione |
DAT 460f
DAT 465f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal to Practical Security -- Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables -- Validating Integrity for the Ephemerizer’s Protocol with CL-Atse -- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols -- Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin -- Comparing State Spaces in Automatic Security Protocol Analysis -- Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures -- Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment -- New Anonymity Notions for Identity-Based Encryption -- Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption -- Writing an OS Kernel in a Strictly and Statically Typed Language. |
| Record Nr. | UNINA-9910484890203321 |
| Berlin, : Springer-Verlag, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||