dc.creatorArgañaraz, Mauro
dc.creatorBerón, Mario
dc.creatorBustos, Miguel Alfredo
dc.creatorRangel Henriques, Pedro
dc.creatorRiesco, Daniel Eduardo
dc.date2019-04
dc.date2019-06-27T14:18:55Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/77267
dc.identifierisbn:978-987-3984-85-3
dc.descriptionEthereum es el principal ecosistema basado en blockchain que proporciona un entorno para codificar y ejecutar contratos inteligentes, propiedad que en estos últimos años recibió gran atención por las nuevas aplicaciones comerciales y, también, por la comunidad científica. El proceso de escritura de contratos seguros y de buen desempeño en la plataforma Ethereum es un gran desafío para los desarrolladores. Implica la aplicación de paradigmas de programación no convencionales debido a las características inherentes de la ejecución de programas de computación distribuida. Además, los errores en los contratos desplegados pueden tener graves consecuencias debido al acoplamiento inmediato del código del contrato y las transacciones financieras. El manejo directo de los activos significa que las fallas tienen más probabilidades de ser relevantes para la seguridad y tienen mayores consecuencias económicas que los errores en las aplicaciones típicas. Una serie de reportes de incidentes muestran que los problemas de seguridad se han utilizado con propósitos fraudulentos. En este artículo, se describe una línea de investigación que se enfoca en fortalecer los aspectos de seguridad, basado en una base sólida de diseño, patrones de código establecidos y probados que faciliten el proceso de escritura de código funcional y libre de errores, para proporcionar una herramienta que permita analizar y detectar falencias de manera automática.
dc.descriptionEje: Seguridad Informática.
dc.descriptionRed de Universidades con Carreras en Informática
dc.formatapplication/pdf
dc.languagees
dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rightsCreative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.subjectCiencias Informáticas
dc.subjectblockchain
dc.subjectEthereum
dc.subjectsmart contract
dc.subjectSolidity
dc.subjectstatic analysis tool
dc.subjectverification
dc.subjectsecurity patterns
dc.titleDetección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
dc.typeObjeto de conferencia
dc.typeObjeto de conferencia


Este ítem pertenece a la siguiente institución