Autor Bracciali, Andrea
|
|
Documentos disponibles escritos por este autor (8)
Hacer una sugerencia 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 Índice Dewey: 570.285 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. 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 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 Índice Dewey: 570.285 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. 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
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 Índice Dewey: 570.285 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. 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 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 Índice Dewey: 570.285 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. 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
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 Índice Dewey: 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. 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 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 Índice Dewey: 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. 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
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
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 Índice Dewey: 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. 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 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 Índice Dewey: 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. 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
Permalink
Permalink
Permalink
