Información del autor
Autor Sala, Massimiliano |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda
Financial Cryptography and Data Security / Brenner, Michael ; Rohloff, Kurt ; Bonneau, Joseph ; Miller, Andrew ; Ryan, Peter Y.A ; Teague, Vanessa ; Bracciali, Andrea ; Sala, Massimiliano ; Pintore, Federico ; Jakobsson, Markus
TÃtulo : Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Brenner, Michael, ; Rohloff, Kurt, ; Bonneau, Joseph, ; Miller, Andrew, ; Ryan, Peter Y.A, ; Teague, Vanessa, ; Bracciali, Andrea, ; Sala, Massimiliano, ; Pintore, Federico, ; Jakobsson, Markus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXII, 636 p. 97 ilustraciones ISBN/ISSN/DL: 978-3-319-70278-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Protección de datos CriptografÃa Cifrado de datos (Informática) Red de computadoras Ordenadores IngenierÃa Informática Inteligencia artificial Seguridad de datos e información CriptologÃa Redes de comunicación informática Entornos informáticos IngenierÃa Informática y Redes Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas arbitradas de 5 talleres celebrados en la 21.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2017, en Sliema, Malta, en abril de 2017. Los 39 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 96 presentaciones. Presentan los resultados del 5º Taller sobre Computación Cifrada y CriptografÃa Homomórfica Aplicada, WAHC 2017, el 4º Taller sobre Investigación de Bitcoin y Blockchain, BITCOIN 2017, el Segundo Taller sobre Sistemas de Votación Segura, VOTING 2017, el Primer Taller sobre Contratos Inteligentes Confiables, WTSC 2017 y el primer taller sobre ataques dirigidos, TA 2017. Los artÃculos se agrupan en secciones temáticas denominadas: informática cifrada y criptografÃa homomórfica aplicada; investigación de bitcoins y blockchain; avances en esquemas de voto electrónico seguro; contratos inteligentes confiables; ataques dirigidos. Nota de contenido: Encrypted Computing and Applied Homomorphic Cryptography -- Bitcoin and Blockchain Research -- Secure Voting Systems -- Trusted Smart Contracts -- Targeted Attacks. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017. The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, the Second Workshop on Secure Voting Systems, VOTING 2017, the First Workshop on Trusted Smart Contracts, WTSC 2017, and the First Workshop on Targeted Attacks, TA 2017. The papers are grouped in topical sections named: encrypted computing and applied homomorphic cryptography; bitcoin and blockchain research; advances in secure electronic voting schemes; trusted smart contracts; targeted attacks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers [documento electrónico] / Brenner, Michael, ; Rohloff, Kurt, ; Bonneau, Joseph, ; Miller, Andrew, ; Ryan, Peter Y.A, ; Teague, Vanessa, ; Bracciali, Andrea, ; Sala, Massimiliano, ; Pintore, Federico, ; Jakobsson, Markus, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXII, 636 p. 97 ilustraciones.
ISBN : 978-3-319-70278-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Protección de datos CriptografÃa Cifrado de datos (Informática) Red de computadoras Ordenadores IngenierÃa Informática Inteligencia artificial Seguridad de datos e información CriptologÃa Redes de comunicación informática Entornos informáticos IngenierÃa Informática y Redes Clasificación: 005.8 Ciencia de los computadores (Programación, programas de sistemas) Resumen: Este libro constituye las actas arbitradas de 5 talleres celebrados en la 21.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2017, en Sliema, Malta, en abril de 2017. Los 39 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 96 presentaciones. Presentan los resultados del 5º Taller sobre Computación Cifrada y CriptografÃa Homomórfica Aplicada, WAHC 2017, el 4º Taller sobre Investigación de Bitcoin y Blockchain, BITCOIN 2017, el Segundo Taller sobre Sistemas de Votación Segura, VOTING 2017, el Primer Taller sobre Contratos Inteligentes Confiables, WTSC 2017 y el primer taller sobre ataques dirigidos, TA 2017. Los artÃculos se agrupan en secciones temáticas denominadas: informática cifrada y criptografÃa homomórfica aplicada; investigación de bitcoins y blockchain; avances en esquemas de voto electrónico seguro; contratos inteligentes confiables; ataques dirigidos. Nota de contenido: Encrypted Computing and Applied Homomorphic Cryptography -- Bitcoin and Blockchain Research -- Secure Voting Systems -- Trusted Smart Contracts -- Targeted Attacks. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of 5 workshops held at the 21st International Conference on Financial Cryptography and Data Security, FC 2017, in Sliema, Malta, in April 2017. The 39 full papers presented were carefully reviewed and selected from 96 submissions. They feature the outcome of the 5th Workshop on Encrypted Computing and Applied Homomorphic Cryptography, WAHC 2017, the 4th Workshop on Bitcoin and Blockchain Research, BITCOIN 2017, the Second Workshop on Secure Voting Systems, VOTING 2017, the First Workshop on Trusted Smart Contracts, WTSC 2017, and the First Workshop on Targeted Attacks, TA 2017. The papers are grouped in topical sections named: encrypted computing and applied homomorphic cryptography; bitcoin and blockchain research; advances in secure electronic voting schemes; trusted smart contracts; targeted attacks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security / Zohar, Aviv ; Eyal, Ittay ; Teague, Vanessa ; Clark, Jeremy ; Bracciali, Andrea ; Pintore, Federico ; Sala, Massimiliano
TÃtulo : Financial Cryptography and Data Security : FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Zohar, Aviv, ; Eyal, Ittay, ; Teague, Vanessa, ; Clark, Jeremy, ; Bracciali, Andrea, ; Pintore, Federico, ; Sala, Massimiliano, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: XV, 382 p. 163 ilustraciones, 36 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-58820-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: CriptografÃa Cifrado de datos (Informática) CriptologÃa Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de 3 talleres celebrados en la 22.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2018, en Nieuwport, Curazao, en marzo de 2018. Los 23 artÃculos completos presentados junto con 2 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 52 presentaciones. Presentan los resultados del Quinto Taller sobre Bitcoin y Blockchain Research, BITCOIN 2018, el Tercer Taller sobre Sistemas de Votación Segura, VOTING 2018, y el Segundo Taller sobre Contratos Inteligentes Confiables, WTSC 2018. Los artÃculos están agrupados en secciones temáticas denominadas: Blockchain. , Libros mayores distribuidos, CriptografÃa, Bitcoin, Votación y Contratos inteligentes. Nota de contenido: Bitcoin and Blockchain Research -- Advances in Secure Electronic Voting Schemes -- Trusted Smart Contracts. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, in Nieuwport, Curaçao, in March 2018. The 23 full papers presented together with 2 short papers were carefully reviewed and selected from 52 submissions. They feature the outcome of the 5th Workshop on Bitcoin and Blockchain Research, BITCOIN 2018, the Third Workshop on Secure Voting Systems, VOTING 2018,and the Second Workshop on Trusted Smart Contracts, WTSC 2018. The papers are grouped in topical sections named: Blockchain, Distributed Ledgers, Cryptography, Bitcoin, Voting, and Smart Contracts. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security : FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers [documento electrónico] / Zohar, Aviv, ; Eyal, Ittay, ; Teague, Vanessa, ; Clark, Jeremy, ; Bracciali, Andrea, ; Pintore, Federico, ; Sala, Massimiliano, . - 1 ed. . - Berlin [Alemania] : Springer, 2019 . - XV, 382 p. 163 ilustraciones, 36 ilustraciones en color.
ISBN : 978-3-662-58820-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: CriptografÃa Cifrado de datos (Informática) CriptologÃa Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de 3 talleres celebrados en la 22.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2018, en Nieuwport, Curazao, en marzo de 2018. Los 23 artÃculos completos presentados junto con 2 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 52 presentaciones. Presentan los resultados del Quinto Taller sobre Bitcoin y Blockchain Research, BITCOIN 2018, el Tercer Taller sobre Sistemas de Votación Segura, VOTING 2018, y el Segundo Taller sobre Contratos Inteligentes Confiables, WTSC 2018. Los artÃculos están agrupados en secciones temáticas denominadas: Blockchain. , Libros mayores distribuidos, CriptografÃa, Bitcoin, Votación y Contratos inteligentes. Nota de contenido: Bitcoin and Blockchain Research -- Advances in Secure Electronic Voting Schemes -- Trusted Smart Contracts. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of 3 workshops held at the 22nd International Conference on Financial Cryptography and Data Security, FC 2018, in Nieuwport, Curaçao, in March 2018. The 23 full papers presented together with 2 short papers were carefully reviewed and selected from 52 submissions. They feature the outcome of the 5th Workshop on Bitcoin and Blockchain Research, BITCOIN 2018, the Third Workshop on Secure Voting Systems, VOTING 2018,and the Second Workshop on Trusted Smart Contracts, WTSC 2018. The papers are grouped in topical sections named: Blockchain, Distributed Ledgers, Cryptography, Bitcoin, Voting, and Smart Contracts. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security / Bracciali, Andrea ; Clark, Jeremy ; Pintore, Federico ; Rønne, Peter B. ; Sala, Massimiliano
TÃtulo : Financial Cryptography and Data Security : 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019. The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions. The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems. WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security : 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019. The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions. The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems. WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security / Bernhard, Matthew ; Bracciali, Andrea ; Camp, L. Jean ; Matsuo, Shin'ichiro ; Maurushat, Alana ; Rønne, Peter B. ; Sala, Massimiliano
TÃtulo : Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bernhard, Matthew, ; Bracciali, Andrea, ; Camp, L. Jean, ; Matsuo, Shin'ichiro, ; Maurushat, Alana, ; 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: XXIV, 622 p. 838 ilustraciones, 81 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54455-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: CriptografÃa Cifrado de datos (Informática) IngenierÃa Informática Red de computadoras Estructuras de datos (Informática) TeorÃa de la información Protección de datos CriptologÃa IngenierÃa Informática y Redes Estructuras de datos y teorÃa de la información Seguridad de datos e información Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de dos talleres celebrados en la 24.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2020, en Kota Kinabalu, Malasia, en febrero de 2020. Los 39 artÃculos completos y 3 artÃculos breves presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 73 presentaciones. Los artÃculos incluyen cuatro talleres: el primer taller asiático sobre seguridad utilizable, AsiaUSEC 2020, el primer taller sobre coordinación de finanzas descentralizadas, CoDeFi 2020, el quinto taller sobre avances en el voto electrónico seguro, VOTING 2020 y el cuarto taller sobre contratos inteligentes confiables. , WTSC 2020. El Taller AsiaUSEC contribuye a incrementar la calidad cientÃfica de la investigación en factores humanos en seguridad y privacidad. En términos de mejorar la eficacia de los sistemas seguros, la investigación incluyó una extensión de la autenticación gráfica de contraseñas. Además, un estudio comparativo de SpotBugs, SonarQube, Cryptoguard y CogniCrypt identificó las fortalezas de cada uno y refinó la necesidad de mejoras en las herramientas de prueba de seguridad. El taller CoDeFi discute cuestiones multidisciplinarias relacionadas con tecnologÃas y operaciones de finanzas descentralizadas basadas en blockchain sin permiso. El taller consta de dos partes; presentaciones de todas las partes interesadas y debates al estilo fuera de conferencia. El taller de VOTACIÓN cubre temas como nuevos métodos para auditorÃas de riesgo limitado, nuevos métodos para aumentar la eficiencia de las redes mixtas, verificación de la seguridad de los esquemas de votación, 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. y una nueva forma de impedir la venta de votos al desincentivarla mediante contratos inteligentes. El taller de la WTSC se centra en contratos inteligentes, es decir, acuerdos autoaplicables en forma de programas ejecutables y otras aplicaciones descentralizadas que se implementan y ejecutan sobre cadenas de bloques especializadas. Nota de contenido: Tale of Two Browsers: Understanding Users' Web Browser Choices in South Korea -- User-Centered Risk Communication for Safer Browsing -- The Effects of Cue Utilization and Cognitive Load in the Detection of Phishing Emails -- Cue Utilization, Phishing Feature and Phishing Email Detection -- Dis-Empowerment Online- An Investigation of Privacy & Sharing Perceptions & Method Preferences -- Security and Privacy Awareness in Smart Environments – A Cross-Country Investigation -- Understanding Perceptions of Smart Devices -- In Our Employer We Trust: Mental Models of Office Worker's Privacy Perceptions -- Behaviour of Outsourced Employees as Sources of Information System Security Threats -- Exploring Effects of Auditory Stimuli on CAPTCHA Performance -- PassPage: Graphical Password Authentication Scheme Based on Web Browsing Records -- Empathy as a Response to Frustration in Password Choice -- Fixing the Fixes: Assessing the Solutions of SAST Tools for Securing Password Storage -- Incorporating Psychology into Cyber Security Education: A Pedagogical Approach -- Effectiveness of multi-stakeholder discussions for decentralized finance: a conference report of CoDeFi 2020 -- Multistakeholder Governance for the Internet -- Future of Finance: From G20 to practical implementation of multi-stakeholder governance on blockchain based finance -- Securing Cryptocurrency Exchange: Building up Standard from Huge Failures -- Origami voting: a non-cryptographic approach to transparent ballot verification -- Towards Improving the Efficacy of Code-Based Verification in Internet Voting -- Mechanized Proofs of Verifiability and Privacy in a paper-based e-voting Scheme -- Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA -- A Note on Risk-Limiting Bayesian Polling Audits for Two-Candidate Elections -- Vote selling resistant voting -- An Update on Marked Mix-Nets: An Attack, A Fix and PQ Possibilities -- Performance of Shuffling: Taking it to the Limits -- Characterizing Types of Smart Contracts in the Ethereum Landscape -- Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media -- Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts -- Scalable Open-Vote Network on Ethereum -- How to Dynamically Incentivize Sufficient Level of IoT Securitx -- Confidential and auditable payments -- MAPPCN: Multi-hop Anonymous and Privacy-Preserving Payment Channel Network -- Marlowe: implementing and analysing financial contracts on blockchain -- Load Balancing for Sharded Blockchains -- The Extended UTXO Model -- Privacy-Preserving Cross-Chain Atomic Swaps -- A Blockchain Based Approach to Resource Sharing in Smart Neighbourhoods -- Enforcing Determinism of Java Smart Contracts -- Albert, an intermediate smart-contract language for the Tezos blockchain -- A Formally Verified Static Analysis Framework for Compositional Contracts. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020. The AsiaUSEC Workshop contributes an increase of the scientific quality of research in human factors in security and privacy. In terms of improving efficacy of secure systems, the research included an extension of graphical password authentication. Further a comparative study of SpotBugs, SonarQube, Cryptoguard and CogniCrypt identified strengths in each and refined the need for improvements in security testing tools. The CoDeFi Workshop discuss multi-disciplinary issues regarding technologies and operations of decentralized finance based on permissionless blockchain. The workshop consists of two parts; presentations by all stakeholders, and unconference style discussions. The VOTING Workshop cover topics like new methods for risk-limited audits, new ethods to increase the efficiency of mixnets, verification of security of voting schemes election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems, and new way of preventing voteselling by de-incentivising this via smart contracts. The WTSC Workshop focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of specialized blockchains. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers [documento electrónico] / Bernhard, Matthew, ; Bracciali, Andrea, ; Camp, L. Jean, ; Matsuo, Shin'ichiro, ; Maurushat, Alana, ; Rønne, Peter B., ; Sala, Massimiliano, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXIV, 622 p. 838 ilustraciones, 81 ilustraciones en color.
ISBN : 978-3-030-54455-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: CriptografÃa Cifrado de datos (Informática) IngenierÃa Informática Red de computadoras Estructuras de datos (Informática) TeorÃa de la información Protección de datos CriptologÃa IngenierÃa Informática y Redes Estructuras de datos y teorÃa de la información Seguridad de datos e información Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de dos talleres celebrados en la 24.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2020, en Kota Kinabalu, Malasia, en febrero de 2020. Los 39 artÃculos completos y 3 artÃculos breves presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 73 presentaciones. Los artÃculos incluyen cuatro talleres: el primer taller asiático sobre seguridad utilizable, AsiaUSEC 2020, el primer taller sobre coordinación de finanzas descentralizadas, CoDeFi 2020, el quinto taller sobre avances en el voto electrónico seguro, VOTING 2020 y el cuarto taller sobre contratos inteligentes confiables. , WTSC 2020. El Taller AsiaUSEC contribuye a incrementar la calidad cientÃfica de la investigación en factores humanos en seguridad y privacidad. En términos de mejorar la eficacia de los sistemas seguros, la investigación incluyó una extensión de la autenticación gráfica de contraseñas. Además, un estudio comparativo de SpotBugs, SonarQube, Cryptoguard y CogniCrypt identificó las fortalezas de cada uno y refinó la necesidad de mejoras en las herramientas de prueba de seguridad. El taller CoDeFi discute cuestiones multidisciplinarias relacionadas con tecnologÃas y operaciones de finanzas descentralizadas basadas en blockchain sin permiso. El taller consta de dos partes; presentaciones de todas las partes interesadas y debates al estilo fuera de conferencia. El taller de VOTACIÓN cubre temas como nuevos métodos para auditorÃas de riesgo limitado, nuevos métodos para aumentar la eficiencia de las redes mixtas, verificación de la seguridad de los esquemas de votación, 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. y una nueva forma de impedir la venta de votos al desincentivarla mediante contratos inteligentes. El taller de la WTSC se centra en contratos inteligentes, es decir, acuerdos autoaplicables en forma de programas ejecutables y otras aplicaciones descentralizadas que se implementan y ejecutan sobre cadenas de bloques especializadas. Nota de contenido: Tale of Two Browsers: Understanding Users' Web Browser Choices in South Korea -- User-Centered Risk Communication for Safer Browsing -- The Effects of Cue Utilization and Cognitive Load in the Detection of Phishing Emails -- Cue Utilization, Phishing Feature and Phishing Email Detection -- Dis-Empowerment Online- An Investigation of Privacy & Sharing Perceptions & Method Preferences -- Security and Privacy Awareness in Smart Environments – A Cross-Country Investigation -- Understanding Perceptions of Smart Devices -- In Our Employer We Trust: Mental Models of Office Worker's Privacy Perceptions -- Behaviour of Outsourced Employees as Sources of Information System Security Threats -- Exploring Effects of Auditory Stimuli on CAPTCHA Performance -- PassPage: Graphical Password Authentication Scheme Based on Web Browsing Records -- Empathy as a Response to Frustration in Password Choice -- Fixing the Fixes: Assessing the Solutions of SAST Tools for Securing Password Storage -- Incorporating Psychology into Cyber Security Education: A Pedagogical Approach -- Effectiveness of multi-stakeholder discussions for decentralized finance: a conference report of CoDeFi 2020 -- Multistakeholder Governance for the Internet -- Future of Finance: From G20 to practical implementation of multi-stakeholder governance on blockchain based finance -- Securing Cryptocurrency Exchange: Building up Standard from Huge Failures -- Origami voting: a non-cryptographic approach to transparent ballot verification -- Towards Improving the Efficacy of Code-Based Verification in Internet Voting -- Mechanized Proofs of Verifiability and Privacy in a paper-based e-voting Scheme -- Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA -- A Note on Risk-Limiting Bayesian Polling Audits for Two-Candidate Elections -- Vote selling resistant voting -- An Update on Marked Mix-Nets: An Attack, A Fix and PQ Possibilities -- Performance of Shuffling: Taking it to the Limits -- Characterizing Types of Smart Contracts in the Ethereum Landscape -- Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media -- Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts -- Scalable Open-Vote Network on Ethereum -- How to Dynamically Incentivize Sufficient Level of IoT Securitx -- Confidential and auditable payments -- MAPPCN: Multi-hop Anonymous and Privacy-Preserving Payment Channel Network -- Marlowe: implementing and analysing financial contracts on blockchain -- Load Balancing for Sharded Blockchains -- The Extended UTXO Model -- Privacy-Preserving Cross-Chain Atomic Swaps -- A Blockchain Based Approach to Resource Sharing in Smart Neighbourhoods -- Enforcing Determinism of Java Smart Contracts -- Albert, an intermediate smart-contract language for the Tezos blockchain -- A Formally Verified Static Analysis Framework for Compositional Contracts. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020. The AsiaUSEC Workshop contributes an increase of the scientific quality of research in human factors in security and privacy. In terms of improving efficacy of secure systems, the research included an extension of graphical password authentication. Further a comparative study of SpotBugs, SonarQube, Cryptoguard and CogniCrypt identified strengths in each and refined the need for improvements in security testing tools. The CoDeFi Workshop discuss multi-disciplinary issues regarding technologies and operations of decentralized finance based on permissionless blockchain. The workshop consists of two parts; presentations by all stakeholders, and unconference style discussions. The VOTING Workshop cover topics like new methods for risk-limited audits, new ethods to increase the efficiency of mixnets, verification of security of voting schemes election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems, and new way of preventing voteselling by de-incentivising this via smart contracts. The WTSC Workshop focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of specialized blockchains. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security. FC 2021 International Workshops / Bernhard, Matthew ; Bracciali, Andrea ; Gudgeon, Lewis ; Haines, Thomas ; Klages-Mundt, Ariah ; Matsuo, Shin'ichiro ; Perez, Daniel ; Sala, Massimiliano ; Werner, Sam
TÃtulo : Financial Cryptography and Data Security. FC 2021 International Workshops : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bernhard, Matthew, ; Bracciali, Andrea, ; Gudgeon, Lewis, ; Haines, Thomas, ; Klages-Mundt, Ariah, ; Matsuo, Shin'ichiro, ; Perez, Daniel, ; Sala, Massimiliano, ; Werner, Sam, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2021 Número de páginas: XXV, 630 p. 103 ilustraciones, 66 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-63958-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: CriptografÃa Cifrado de datos (Informática) Red de computadoras Computadoras Propósitos especiales TeorÃa de la codificación TeorÃa de la información Protección de datos Software de la aplicacion CriptologÃa Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la codificación y la información Seguridad de datos e información Aplicaciones informáticas y de sistemas de información Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de cuatro talleres celebrados en la 25.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2021, celebrada virtualmente en marzo de 2021. Los talleres son los siguientes: CoDecFin: El segundo taller sobre coordinación de las finanzas descentralizadas DeFi 2021 : Primer Taller sobre Finanzas Descentralizadas VOTACIÓN 2021: Sexto Taller sobre Avances en Voto Electrónico Seguro CMNT 2021: Quinto Taller sobre Contratos Inteligentes Confiables. Nota de contenido: DeFi Risks -- AML/KYC and Privacy -- Protocol Design -- Formal Attack Analysis -- Economics and Regulation -- MEV and Illicit Activity -- Order Routing and formal methods -- Voting -- Security and Verification -- Foundations -- Attacks' Analysis -- DeFi and Tokens. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of four workshops held at the 25th International Conference on Financial Cryptography and Data Security, FC 2021, held virtually, in March 2021. The workshops are as follows: CoDecFin: The Second Workshop on Coordination of Decentralized Finance DeFi 2021 : First Workshop on Decentralized Finance VOTING 2021: Sixth Workshop on Advances in Secure Electronic Voting WTSC 2021: Fifth Workshop on Trusted Smart Contracts. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Financial Cryptography and Data Security. FC 2021 International Workshops : CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers [documento electrónico] / Bernhard, Matthew, ; Bracciali, Andrea, ; Gudgeon, Lewis, ; Haines, Thomas, ; Klages-Mundt, Ariah, ; Matsuo, Shin'ichiro, ; Perez, Daniel, ; Sala, Massimiliano, ; Werner, Sam, . - 1 ed. . - Berlin [Alemania] : Springer, 2021 . - XXV, 630 p. 103 ilustraciones, 66 ilustraciones en color.
ISBN : 978-3-662-63958-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: CriptografÃa Cifrado de datos (Informática) Red de computadoras Computadoras Propósitos especiales TeorÃa de la codificación TeorÃa de la información Protección de datos Software de la aplicacion CriptologÃa Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones TeorÃa de la codificación y la información Seguridad de datos e información Aplicaciones informáticas y de sistemas de información Clasificación: 5.824 Resumen: Este libro constituye las actas arbitradas de cuatro talleres celebrados en la 25.ª Conferencia Internacional sobre CriptografÃa Financiera y Seguridad de Datos, FC 2021, celebrada virtualmente en marzo de 2021. Los talleres son los siguientes: CoDecFin: El segundo taller sobre coordinación de las finanzas descentralizadas DeFi 2021 : Primer Taller sobre Finanzas Descentralizadas VOTACIÓN 2021: Sexto Taller sobre Avances en Voto Electrónico Seguro CMNT 2021: Quinto Taller sobre Contratos Inteligentes Confiables. Nota de contenido: DeFi Risks -- AML/KYC and Privacy -- Protocol Design -- Formal Attack Analysis -- Economics and Regulation -- MEV and Illicit Activity -- Order Routing and formal methods -- Voting -- Security and Verification -- Foundations -- Attacks' Analysis -- DeFi and Tokens. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of four workshops held at the 25th International Conference on Financial Cryptography and Data Security, FC 2021, held virtually, in March 2021. The workshops are as follows: CoDecFin: The Second Workshop on Coordination of Decentralized Finance DeFi 2021 : First Workshop on Decentralized Finance VOTING 2021: Sixth Workshop on Advances in Secure Electronic Voting WTSC 2021: Fifth Workshop on Trusted Smart Contracts. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]