GitHub Considered Harmful? Analyzing Open-Source Projects for the Automatic Generation of Cryptographic API Call Sequences

GitHub is a popular data repository for code examples. It is being continuously used to train several AI-based tools to automatically generate code. However, the effectiveness of such tools in correctly demonstrating the usage of cryptographic APIs has not been thoroughly assessed. In this paper, we investigate the extent and severity of misuses, specifically caused by incorrect cryptographic API call sequences in GitHub. We also analyze the suitability of GitHub data to train a learning-based model to generate correct cryptographic API call sequences. For this, we manually extracted and analyzed the call sequences from GitHub. Using this data, we augmented an existing learning-based model called DeepAPI to create two security-specific models that generate cryptographic API call sequences for a given natural language (NL) description. Our results indicate that it is imperative to not neglect the misuses in API call sequences while using data sources like GitHub, to train models that generate code.Comment: Accepted at QRS 202

OVM2PN: Herramienta de análisis de configuraciones en Líneas de Productos de Software

Uno de los ejes centrales de una línea de producto de software (LPS) es la definición de su variabilidad. Esta prescribe las características a ser incluidas y las reglas de inclusión durante la derivación de productos individuales. Una forma de definir la variabilidad de una LPS es a través de un modelo de variabilidad ortogonal (OVM). Sin embargo, las familias de productos obtenidas pueden presentar ciertos problemas de inviabilidad, esto es, reglas de inclusión contradictorias que resultan en características imposibles de ser incorporadas en ningún producto. En este trabajo se propone una herramienta para representar, estudiar y detectar los problemas de inviabilidad en un OVM.Sociedad Argentina de Informática e Investigación Operativ

Análisis de los fundamentos legales y técnicos de la ética profesional del contador público en la Argentina y Colombia durante los años 2015-2019

En la actualidad la presencia del contador es requerida con mayor frecuencia y para diversas actividades por empresas, personas humanas, y todo aquel que deba llevar contabilidad en libros o preparar sus impuestos. Quien contrata los servicios espera un trabajo profesional-ético, pero en muchos casos quienes ejercen lo hacen sin observancia de los principios éticos de la profesión. Argentina y Colombia son países que evidencian numerosos profesionales contables sancionados por actuar de manera antiética, ignorando los principios de sus respectivos códigos. Estos países latinoamericanos presentan diferencias en sus códigos de ética, en los principios y en el control del ejercicio de la profesión. Aunque la profesión no sea ejercida de la misma forma atendiendo a las diferencias culturales de los dos países, una actuación antiética lo es en cualquier parte del mundo y como tal debe ser sancionada y reprimida. Cada quien tiene sus procedimientos, bajo sus respectivas normas y con distinta rigurosidad para hacerlo. Hoy en día las fronteras se han achicado y los países emergentes han comenzado un proceso de apertura mundial para poder participar de la dinámica del mercado, y la profesión contable no se ha quedado al margen. Dichos profesionales hoy en día tienen las puertas abiertas al mundo gracias a la implementación de normas contables internacionales en muchos países.Fil: Ferreyra, Nicolás Alejandro. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas.Fil: Salcedo, Valeria. Universidad Nacional de Cuyo. Facultad de Ciencias Económicas

A Petri Net Variability Model for Software Product Lines

Variability is defined as the possibility that a system has to be extended, changed, localized or configured in order to be used in a particular context. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a SPL is through a feature model (FM). However the product families obtained can present feasibility problems, for instance, inclusion rules that can result contradictory which is translated in a set of features impossible to be incorporated into any product. Such inconveniences may come from the initial feature model developed as well from modifications introduced to satisfy new demands. In this paper a tool based on Petri nets is proposed in order to represent and analyse FMs as well as detecting the problems mentioned before.Fil: Díaz Ferreyra, Nicolás Emilio. Universidad Tecnológica Nacional. Facultad Regional Santa Fe; ArgentinaFil: Martinez, Cristian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Leone, Horacio Pascual. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Gonnet, Silvio Miguel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); Argentin

Experiencia en torno a la enseñanza de las aplicaciones del cálculo integral en un Instituto de Formación Docente: tratamiento algebráico vs reconstrucción de las nociones fundamentales del análisis

Informe final (Profesorado en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2022Informe final de la asignatura metodología y práctica de la enseñanzaEn este trabajo se describe y analiza la implementación de una secuencia didáctica destinada a la enseñanza de las técnicas de integración y al cálculo de áreas y volúmenes en un Instituto Superior de Formación Docente. Tanto en el diseño como en su implementación se abordan algunas problemáticas relativas a la enseñanza del cálculo infinitesimal. En particular, desde la Teoría de Situaciones Didácticas, se estudia la incidencia del contrato didáctico en la resolución de tareas matemáticas por parte de los estudiantes. A lo largo de este informe se pondrán en tensión la manipulación simbólica necesaria para el cálculo de integrales indefinidas al interior de un registro algebraico y la coordinación con el registro gráfico de las funciones para no obturar los sentidos geométricos y variacionales que dieron lugar al desarrollo del análisis matemático.This paper describes and analyzes the implementation of a didactic sequence aimed at teaching integration techniques and calculating areas and volumes in a Higher Institute for Teacher Training. Both in the design and in its implementation, some problems related to the teaching of infinitesimal calculus are addressed. In particular, from the Theory of Didactic Situations, the incidence of the didactic contract in the resolution of mathematical tasks by students is studied. Throughout this report, the symbolic manipulation necessary for the calculation of indefinite integrals within an algebraic register and the coordination with the graphical register of the functions will be put in tension so as not to obstruct the geometric and variational senses that gave rise to the development of the mathematical analysis.Fil: Balmaceda, José Nicolás. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Ferreyra, Micaela Alejandra. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina

Leucoplasia verrugosa proliferativa: reporte de un caso

La leucoplasia, es una placa blanca de la mucosa bucal, potencialmente maligna con un rango de transformación entre el 0,13% y el 17,5%. Una variante infrecuente, es la leucoplasia verrugosa proliferativa. Presenta alta probabilidad de transformarse en un carcinoma de células escamosas o un carcinoma verrugoso de Ackermann. Su etiología es incierta, pudiendo estar relacionada con el virus del papiloma humano, el virus de Epstein-Barr o incluso infecciones por cándida, pero aún no ha sido posible establecer una correlación definitiva. Se presenta el caso clínico de una paciente de género femenino de 68 años de edad derivada al Servicio de Estomatología de la Facultad de Odontología, Universidad Nacional de Córdoba donde se realizaron los estudios correspondientes para arribar al diagnóstico clínico e histopatológico compatible con leucoplasia verrugosa proliferativa

SoK: Security of Microservice Applications: A Practitioners' Perspective on Challenges and Best Practices

Cloud-based application deployment is becoming increasingly popular among businesses, thanks to the emergence of microservices. However, securing such architectures is a challenging task since traditional security concepts cannot be directly applied to microservice architectures due to their distributed nature. The situation is exacerbated by the scattered nature of guidelines and best practices advocated by practitioners and organizations in this field. This research paper we aim to shay light over the current microservice security discussions hidden within Grey Literature (GL) sources. Particularly, we identify the challenges that arise when securing microservice architectures, as well as solutions recommended by practitioners to address these issues. For this, we conducted a systematic GL study on the challenges and best practices of microservice security present in the Internet with the goal of capturing relevant discussions in blogs, white papers, and standards. We collected 312 GL sources from which 57 were rigorously classified and analyzed. This analysis on the one hand validated past academic literature studies in the area of microservice security, but it also identified improvements to existing methodologies pointing towards future research directions.Comment: Accepted at the 17th International Conference on Availability, Reliability and Security (ARES 2022

Vail: un framework para el desarrollo de aplicaciones con redes neuronales artificiales

El presente trabajo fue desarrollado en el marco de la asignatura Inteligencia Computacional de la UTN-FRSF a lo largo del 2º cuatrimestre del ciclo lectivo 2012. Presenta la implementación de un aplicativo llamado Vail, el cual sirve como plataforma para modelar soluciones basadas en el uso de Redes Neuronales Artificiales. Los fundamentos teóricos que enmarcaron su origen, junto con la descripción de su desarrollo y posterior organización en paquetes y clases; son algunos de los principales temas que se presentan. Se incluye además, la resolución de un caso práctico que utiliza como soporte de desarrollo el framework implementado. De esta manera, se muestran las ventajas y desventajas del mismo, obteniéndose una herramienta que podría ser utilizada con fines educacionales para la enseñanza de Redes Neuronales.Sociedad Argentina de Informática e Investigación Operativ

Vail: un framework para el desarrollo de aplicaciones con redes neuronales artificiales

El presente trabajo fue desarrollado en el marco de la asignatura Inteligencia Computacional de la UTN-FRSF a lo largo del 2º cuatrimestre del ciclo lectivo 2012. Presenta la implementación de un aplicativo llamado Vail, el cual sirve como plataforma para modelar soluciones basadas en el uso de Redes Neuronales Artificiales. Los fundamentos teóricos que enmarcaron su origen, junto con la descripción de su desarrollo y posterior organización en paquetes y clases; son algunos de los principales temas que se presentan. Se incluye además, la resolución de un caso práctico que utiliza como soporte de desarrollo el framework implementado. De esta manera, se muestran las ventajas y desventajas del mismo, obteniéndose una herramienta que podría ser utilizada con fines educacionales para la enseñanza de Redes Neuronales.Sociedad Argentina de Informática e Investigación Operativ

Vail: un framework para el desarrollo de aplicaciones con redes neuronales artificiales

El presente trabajo fue desarrollado en el marco de la asignatura Inteligencia Computacional de la UTN-FRSF a lo largo del 2º cuatrimestre del ciclo lectivo 2012. Presenta la implementación de un aplicativo llamado Vail, el cual sirve como plataforma para modelar soluciones basadas en el uso de Redes Neuronales Artificiales. Los fundamentos teóricos que enmarcaron su origen, junto con la descripción de su desarrollo y posterior organización en paquetes y clases; son algunos de los principales temas que se presentan. Se incluye además, la resolución de un caso práctico que utiliza como soporte de desarrollo el framework implementado. De esta manera, se muestran las ventajas y desventajas del mismo, obteniéndose una herramienta que podría ser utilizada con fines educacionales para la enseñanza de Redes Neuronales.Sociedad Argentina de Informática e Investigación Operativ