Información del autor
Autor Bracciali, Andrea |
Documentos disponibles escritos por este autor (8)
Crear una solicitud de compra Refinar búsquedaComputational Intelligence Methods for Bioinformatics and Biostatistics / Bracciali, Andrea ; Caravagna, Giulio ; Gilbert, David ; Tagliaferri, Roberto
TÃtulo : Computational Intelligence Methods for Bioinformatics and Biostatistics : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bracciali, Andrea, ; Caravagna, Giulio, ; Gilbert, David, ; Tagliaferri, Roberto, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XXII, 249 p. 98 ilustraciones ISBN/ISSN/DL: 978-3-319-67834-4 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: Bioinformática Inteligencia artificial Procesamiento de datos Ciencias de la Computación Informática Estadistica matematica Algoritmos BiologÃa Computacional y de Sistemas MinerÃa de datos y descubrimiento de conocimientos TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Clasificación: Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 13.ª Reunión Internacional sobre Métodos de Inteligencia Computacional para Bioinformática y BioestadÃstica, CIBB 2016, celebrada en Stirling, Reino Unido, en septiembre de 2016. Los 19 artÃculos completos revisados ​​y los 6 resúmenes de ponencias presentados fueron cuidadosamente revisados. y seleccionado entre 61 presentaciones. Los artÃculos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadÃstica, biologÃa sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computational Intelligence Methods for Bioinformatics and Biostatistics : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers [documento electrónico] / Bracciali, Andrea, ; Caravagna, Giulio, ; Gilbert, David, ; Tagliaferri, Roberto, . - 1 ed. . - [s.l.] : Springer, 2017 . - XXII, 249 p. 98 ilustraciones.
ISBN : 978-3-319-67834-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Bioinformática Inteligencia artificial Procesamiento de datos Ciencias de la Computación Informática Estadistica matematica Algoritmos BiologÃa Computacional y de Sistemas MinerÃa de datos y descubrimiento de conocimientos TeorÃa de la Computación Probabilidad y EstadÃstica en Informática Clasificación: Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 13.ª Reunión Internacional sobre Métodos de Inteligencia Computacional para Bioinformática y BioestadÃstica, CIBB 2016, celebrada en Stirling, Reino Unido, en septiembre de 2016. Los 19 artÃculos completos revisados ​​y los 6 resúmenes de ponencias presentados fueron cuidadosamente revisados. y seleccionado entre 61 presentaciones. Los artÃculos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadÃstica, biologÃa sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bartoletti, Massimo, ; Barla, Annalisa, ; Bracciali, Andrea, ; Klau, Gunnar W., ; Peterson, Leif, ; Policriti, Alberto, ; Tagliaferri, Roberto, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 213 p. 70 ilustraciones, 43 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-14160-8 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: Bioinformática Inteligencia artificial TeorÃa de las máquinas Algoritmos Ordenadores BiologÃa Computacional y de Sistemas Lenguajes formales y teorÃa de los autómatas Entornos informáticos Clasificación: Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14ª Reunión Internacional sobre Computación. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, celebrado en Cagliari, Italia, en septiembre de 2017. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 44 presentaciones. Los artÃculos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadÃstica, biologÃa sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Nota de contenido: An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers [documento electrónico] / Bartoletti, Massimo, ; Barla, Annalisa, ; Bracciali, Andrea, ; Klau, Gunnar W., ; Peterson, Leif, ; Policriti, Alberto, ; Tagliaferri, Roberto, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 213 p. 70 ilustraciones, 43 ilustraciones en color.
ISBN : 978-3-030-14160-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Bioinformática Inteligencia artificial TeorÃa de las máquinas Algoritmos Ordenadores BiologÃa Computacional y de Sistemas Lenguajes formales y teorÃa de los autómatas Entornos informáticos Clasificación: Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14ª Reunión Internacional sobre Computación. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, celebrado en Cagliari, Italia, en septiembre de 2017. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 44 presentaciones. Los artÃculos abordan la aplicación de la inteligencia computacional a problemas abiertos en bioinformática, bioestadÃstica, biologÃa sintética y de sistemas, informática médica y enfoques computacionales de las ciencias de la vida en general. Nota de contenido: An open-source tool for managing time-evolving variant annotation -- Extracting few representative reconciliations with host-switches -- A quantitative and qualitative characterization of k-mer based alignment-free phylogeny construction -- Cancer mutational signatures identification with sparse dictionary learning -- Icing: Large-scale inference of immunoglobulin clonotypes -- Adenine: a HPC-oriented tool for biological data exploration -- Disease-genes must guide fata dource integration in the gen prioritization process -- Ensembling fescendant term classifiers to improve gene – Abnormal phenotype predictions -- GP-based grammatical inference for classification of amyloidogenic sequences -- Estimation of kinetic reaction constants: Exploiting reboot strategies to improve PSO's performance -- Haplotype and repeat separation in long reads -- Tumor subclonal progression model for cancer hallmark acquisition -- GIMLET: Identifying biological modulators in context-specific gene regulation using local energy statistics -- Structural features of a DPPG liposome layer adsorbed on a rough surface -- Chemical exchanges and actuation in liposome-based synthetic cells: Interaction with biological cells -- A nano communication system for CTC detection in blood vessels -- Experimental evidences suggest high between-vesicle diversity of articial vesicle populations: Results, models and implications -- Towards the synthesis of photo-autotrophic protocells -- Hierarchical block matrix approach for multi-view clustering. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Balis, Bartosz, ; B. Heras, Dora, ; Antonelli, Laura, ; Bracciali, Andrea, ; Gruber, Thomas, ; Hyun-Wook, Jin, ; Kuhn, Michael, ; Scott, Stephen L., ; Unat, Didem, ; Wyrzykowski, Roman, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 358 p. 110 ilustraciones, 99 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-71593-9 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: IngenierÃa Informática Red de computadoras Sistemas operativos (computadoras) Compiladores (programas informáticos) diseño lógico IngenierÃa Informática y Redes Sistemas operativos Compiladores e intérpretes Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye una selección revisada de artÃculos de los talleres celebrados en la 26.ª Conferencia Internacional sobre Computación Paralela y Distribuida, Euro-Par 2020, que tuvo lugar en Varsovia, Polonia, en agosto de 2020. Los talleres se llevaron a cabo virtualmente debido a la pandemia de coronavirus. Los 27 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Euro-Par es una conferencia internacional anual en Europa que cubre todos los aspectos del procesamiento paralelo y distribuido. Estos van desde la teorÃa a la práctica, desde los sistemas e infraestructuras paralelos y distribuidos más pequeños hasta los más grandes, desde problemas computacionales fundamentales hasta aplicaciones completas, desde arquitectura, compilador, diseño e implementación de lenguajes e interfaces hasta herramientas, infraestructuras de soporte y aspectos de rendimiento de las aplicaciones. . Nota de contenido: FPDAPP – Second International Workshop on Future Perspective of Decentralised APPlications -- Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements -- Ants-Review: an Ethereum-Based Privacy-Oriented Protocol for Incentivized Open Peer Reviews -- Next Generation Blockchain-Based Financial Services -- A digital voting system for the 21th century -- Trustless, Censorship-Resilient and Scalable Votings in the Permission-based Blockchain Model -- P2T: pay to transport -- HeteroPar – 18th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms -- Balanced and Compressed Coordinate Layout for the Sparse Matrix-Vector Product on GPUs -- High-Performance GPU and CPU Signal Processing for a Reverse-GPS Wildlife Tracking System -- Preparing Ginkgo for AMD GPUs – A Testimonial on Porting CUDA Code to HIP -- An Edge Attribute-wise Partitioning and Distributed Processing of R-GCN using GPUs Parallelization of the k-means algorithm in a spectral clustering chain on CPU-GPU platforms -- Management of heterogeneous cloud resources with use of the Proximal Policy Optimization -- An Open-Source Virtualization Layer for CUDA Applications -- High Performance Portable Solver for Tridiagonal Toeplitz Systems of Linear Equations -- HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids -- Implementation and evaluation of CUDA-Unified memory in Numba -- ParaMo – International Workshop on Parallel Programming Performance Evaluation of Java/PCJ Implementation of Parallel -- Algorithms on the Cloud -- Parallelizing Automatic Temporal Cognitive Tool for Large-scale Online Learning Analytics -- Experiments using a Software-Distributed Shared Memory, MPI and 0MQ over Heterogeneous Computing Resources -- On the Provenance Extraction Techniques from Large Scale Log Files: A Case Study for the Numerical Weather Prediction Models -- Improving Existing WMS for reduced Makespan of Workflows with Lambda -- Resilience – Workshop on Resiliency in High Performance Computing with Clouds, Grids, and Clusters -- Predicting Hard Disk Failures in Data Centers using Temporal Convolutional Neural Networks -- On the Detection of Silent Data Corruptions in HPC Applications Using Redundant Multi-Threading -- A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication -- Complementary Papers -- Analysis of Genome Architecture Mapping data with a Machine Learning and Polymer-Physics-based tool -- A New Parallel Methodology for the Network Analysis of COVID-19 data -- HugeMap: Optimizing Memory-mapped I/O with Huge Pages for Fast Storage. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers [documento electrónico] / Balis, Bartosz, ; B. Heras, Dora, ; Antonelli, Laura, ; Bracciali, Andrea, ; Gruber, Thomas, ; Hyun-Wook, Jin, ; Kuhn, Michael, ; Scott, Stephen L., ; Unat, Didem, ; Wyrzykowski, Roman, . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 358 p. 110 ilustraciones, 99 ilustraciones en color.
ISBN : 978-3-030-71593-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa Informática Red de computadoras Sistemas operativos (computadoras) Compiladores (programas informáticos) diseño lógico IngenierÃa Informática y Redes Sistemas operativos Compiladores e intérpretes Clasificación: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye una selección revisada de artÃculos de los talleres celebrados en la 26.ª Conferencia Internacional sobre Computación Paralela y Distribuida, Euro-Par 2020, que tuvo lugar en Varsovia, Polonia, en agosto de 2020. Los talleres se llevaron a cabo virtualmente debido a la pandemia de coronavirus. Los 27 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Euro-Par es una conferencia internacional anual en Europa que cubre todos los aspectos del procesamiento paralelo y distribuido. Estos van desde la teorÃa a la práctica, desde los sistemas e infraestructuras paralelos y distribuidos más pequeños hasta los más grandes, desde problemas computacionales fundamentales hasta aplicaciones completas, desde arquitectura, compilador, diseño e implementación de lenguajes e interfaces hasta herramientas, infraestructuras de soporte y aspectos de rendimiento de las aplicaciones. . Nota de contenido: FPDAPP – Second International Workshop on Future Perspective of Decentralised APPlications -- Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements -- Ants-Review: an Ethereum-Based Privacy-Oriented Protocol for Incentivized Open Peer Reviews -- Next Generation Blockchain-Based Financial Services -- A digital voting system for the 21th century -- Trustless, Censorship-Resilient and Scalable Votings in the Permission-based Blockchain Model -- P2T: pay to transport -- HeteroPar – 18th International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms -- Balanced and Compressed Coordinate Layout for the Sparse Matrix-Vector Product on GPUs -- High-Performance GPU and CPU Signal Processing for a Reverse-GPS Wildlife Tracking System -- Preparing Ginkgo for AMD GPUs – A Testimonial on Porting CUDA Code to HIP -- An Edge Attribute-wise Partitioning and Distributed Processing of R-GCN using GPUs Parallelization of the k-means algorithm in a spectral clustering chain on CPU-GPU platforms -- Management of heterogeneous cloud resources with use of the Proximal Policy Optimization -- An Open-Source Virtualization Layer for CUDA Applications -- High Performance Portable Solver for Tridiagonal Toeplitz Systems of Linear Equations -- HighPerMeshes – A Domain-Specific Language for Numerical Algorithms on Unstructured Grids -- Implementation and evaluation of CUDA-Unified memory in Numba -- ParaMo – International Workshop on Parallel Programming Performance Evaluation of Java/PCJ Implementation of Parallel -- Algorithms on the Cloud -- Parallelizing Automatic Temporal Cognitive Tool for Large-scale Online Learning Analytics -- Experiments using a Software-Distributed Shared Memory, MPI and 0MQ over Heterogeneous Computing Resources -- On the Provenance Extraction Techniques from Large Scale Log Files: A Case Study for the Numerical Weather Prediction Models -- Improving Existing WMS for reduced Makespan of Workflows with Lambda -- Resilience – Workshop on Resiliency in High Performance Computing with Clouds, Grids, and Clusters -- Predicting Hard Disk Failures in Data Centers using Temporal Convolutional Neural Networks -- On the Detection of Silent Data Corruptions in HPC Applications Using Redundant Multi-Threading -- A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication -- Complementary Papers -- Analysis of Genome Architecture Mapping data with a Machine Learning and Polymer-Physics-based tool -- A New Parallel Methodology for the Network Analysis of COVID-19 data -- HugeMap: Optimizing Memory-mapped I/O with Huge Pages for Fast Storage. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. 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. 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.
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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
