Título :	FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Bracciali, Andrea, ; Clark, Jeremy, ; Pintore, Federico, ; Rønne, Peter B., ; Sala, Massimiliano,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XIV, 347 p. 216 ilustraciones, 29 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-43725-1
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Criptografía  Cifrado de datos (Informática)  Software de la aplicacion  Sistemas informáticos  Gestión de base de datos  Red de computadoras  Criptología  Aplicaciones informáticas y de sistemas de información  Implementación de sistema informático  Redes de comunicación informática
Índice Dewey:	5.824
Resumen:	Este libro constituye las actas arbitradas de dos talleres celebrados en la 23.ª Conferencia Internacional sobre Criptografía Financiera y Seguridad de Datos, FC 2019, en St. Kitts, St. Kitts y Nevis, en febrero de 2019. Los 20 artículos completos y 4 artículos breves presentados en Este libro fue cuidadosamente revisado y seleccionado entre 34 presentaciones. Los artículos presentan los resultados del Cuarto Taller sobre Avances en el Voto Electrónico Seguro, VOTING 2019 y el Tercer Taller sobre Contratos Inteligentes Confiables, WTSC 2019. VOTING cubrió temas como auditoría electoral, eficiencia del sistema de votación, usabilidad del sistema de votación y nuevos diseños técnicos para Protocolos criptográficos para sistemas de votación. La WTSC se centra en contratos inteligentes, es decir, acuerdos autoaplicables en forma de programas ejecutables y otras aplicaciones descentralizadas que se implementan y se ejecutan sobre cadenas de bloques (especializadas). .
Nota de contenido:	Two-Party State Channels with State Assertions -- Secure Offline Payments in Bitcoin -- Proof-of-Work Sidechains -- You Sank my Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies -- Game-theoretic Analysis of an Incentivized Verifiable Computation System -- Sluggish Mining: Profiting from the Verier's Dilemma -- Deploying PayWord on Ethereum -- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course -- Verification-Led Smart Contracts -- A Java Framework for Smart Contracts -- Is Solidity solid enough -- Building Executable Secure Design Models for Smart Contracts with Formal Methods -- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain -- Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum -- Election Manipulation 100 -- A Manifest Improvement for Risk-Limiting Audits -- k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits -- How to Assess the Usability Metrics inE-Voting Schemes -- Improving the Performance of Cryptographic Voting Protocols (SoK) -- Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption -- Priv-Apollo - Secret Ballot E2E-V Internet Voting -- End-to-End Verifiable Quadratic Voting with Everlasting Privacy -- Lattice-Based Proof of a Shuffle.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers [documento electrónico] / Bracciali, Andrea, ; Clark, Jeremy, ; Pintore, Federico, ; Rønne, Peter B., ; Sala, Massimiliano,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIV, 347 p. 216 ilustraciones, 29 ilustraciones en color.
ISBN : 978-3-030-43725-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Criptografía  Cifrado de datos (Informática)  Software de la aplicacion  Sistemas informáticos  Gestión de base de datos  Red de computadoras  Criptología  Aplicaciones informáticas y de sistemas de información  Implementación de sistema informático  Redes de comunicación informática
Índice Dewey:	5.824
Resumen:	Este libro constituye las actas arbitradas de dos talleres celebrados en la 23.ª Conferencia Internacional sobre Criptografía Financiera y Seguridad de Datos, FC 2019, en St. Kitts, St. Kitts y Nevis, en febrero de 2019. Los 20 artículos completos y 4 artículos breves presentados en Este libro fue cuidadosamente revisado y seleccionado entre 34 presentaciones. Los artículos presentan los resultados del Cuarto Taller sobre Avances en el Voto Electrónico Seguro, VOTING 2019 y el Tercer Taller sobre Contratos Inteligentes Confiables, WTSC 2019. VOTING cubrió temas como auditoría electoral, eficiencia del sistema de votación, usabilidad del sistema de votación y nuevos diseños técnicos para Protocolos criptográficos para sistemas de votación. La WTSC se centra en contratos inteligentes, es decir, acuerdos autoaplicables en forma de programas ejecutables y otras aplicaciones descentralizadas que se implementan y se ejecutan sobre cadenas de bloques (especializadas). .
Nota de contenido:	Two-Party State Channels with State Assertions -- Secure Offline Payments in Bitcoin -- Proof-of-Work Sidechains -- You Sank my Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies -- Game-theoretic Analysis of an Incentivized Verifiable Computation System -- Sluggish Mining: Profiting from the Verier's Dilemma -- Deploying PayWord on Ethereum -- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course -- Verification-Led Smart Contracts -- A Java Framework for Smart Contracts -- Is Solidity solid enough -- Building Executable Secure Design Models for Smart Contracts with Formal Methods -- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain -- Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum -- Election Manipulation 100 -- A Manifest Improvement for Risk-Limiting Audits -- k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits -- How to Assess the Usability Metrics inE-Voting Schemes -- Improving the Performance of Cryptographic Voting Protocols (SoK) -- Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption -- Priv-Apollo - Secret Ballot E2E-V Internet Voting -- End-to-End Verifiable Quadratic Voting with Everlasting Privacy -- Lattice-Based Proof of a Shuffle.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i