A layered approach to improving Blockchain systems security

During the past several years, blockchain systems have gained a lot of traction and adoption, with during peak periods, the total capitalisation of these systems exceeding 2 trillion. Given the permissionless nature of blockchain systems and their large scope in terms of software - e.g. distributed consensus, untrusted program execution - numerous attack vectors need to be studied, understood and protected against for blockchain systems to be able to deliver their promises of a safer financial system. In this thesis, we study and contribute to improving the security of various parts of the blockchain stack, from the execution to the application layer. We start with one of the lowest layers of the Ethereum blockchain stack, the EVM, and study the resource metering mechanism that is used to limit the total amount of resources that can be consumed by a smart contract. We discover inconsistencies in the metering mechanism and show and responsibly disclose that it would have been possible to execute transactions that would result in a denial of service attack on the Ethereum blockchain. Our findings were part of the motivation of Ethereum for changing some of its gas metering mechanisms. We then broaden our analysis to other blockchain systems and study how different fee mechanisms affect the transactional throughput as well as the usage of the blockchain. We discover that low fees, which are in theory attractive to users, can lead to a lot of spam. We find that for two of the blockchain we analyse, EOS and Ripple, this type of spam leads to system outages where the blockchain is unable to process transactions. Finally, we find that a common motivation for spam transactions is to artificially inflate the activity of the application layer, through wash-trading for example. In the last main chapter of this thesis, we move to the application layer and turn our focus on decentralised finance (DeFi) ecosystem, which is one of the most prevalent types of application implemented on top of blockchain systems. We start by giving formal definitions of the different types of security, namely technical and economic security. With that definition in mind, in the first part of this chapter, we study technical security exploits and develop an automated tool to detect on-chain exploits. We find that the majority of the exploits found through techniques such as program analysis are not exploited in practice, either because of the lack of feasibility of the exploit or because of the lack of economic incentive to do so. In the second part of this chapter, we focus on economic security and study the liquidation mechanism that is used to protect the users of DeFi lending protocols. We highlight how the efficiency of the liquidations has increased over time, and how depegging events of stablecoin have caused very large amounts of liquidations because of the over-confidence in their stability.Open Acces

Modelo para la adopción del comercio electrónico en el sector agroindustrial mexicano

En este trabajo se propone un modelo para la adopción del comercio electrónico en las pequeñas y medianas empresas (pyme´s) del sector agroindustrial mexicano. El modelo final consta de dieciocho variables, distribuidas en siete submodelos, que son: Factores organizacionales, características técnicas, comunicación, factores ambientales, factores psicológicos y culturales, apoyo gubernamental y adopción del comercio electrónico. Para la medición de las variables se aplicó un cuestionario a las empresas de una muestra representativa. En la validación del modelo, se usó la técnica de mínimos cuadrados parciales (PLS). Se validó la consistencia interna del modelo mediante las pruebas de unidimensionalidad, fiabilidad, validez convergente y validez discriminante; así como la validación del modelo estructural

Low-Cost Piezoelectric Sensors for Time Domain Load Monitoring of Metallic Structures During Operational and Maintenance Processes

The versatility of piezoelectric sensors in measurement techniques and their performance in applications has given rise to an increased interest in their use for structural and manufacturing component monitoring. They enable wireless and sensor network solutions to be developed in order to directly integrate the sensors into machines, fixtures and tools. Piezoelectric sensors increasingly compete with strain-gauges due to their wide operational temperature range, load and strain sensing accuracy, low power consumption and low cost. This research sets out the use of piezoelectric sensors for real-time monitoring of mechanical strength in metallic structures in the ongoing operational control of machinery components. The behaviour of aluminium and steel structures under flexural strength was studied using piezoelectric sensors. Variations in structural behaviour and geometry were measured, and the load and μstrains during operational conditions were quantified in the time domain at a specific frequency. The lead zirconium titanate (PZT) sensors were able to distinguish between material types and thicknesses. Moreover, this work covers frequency selection and optimisation from 20 Hz to 300 kHz. Significant differences in terms of optimal operating frequencies and sensitivity were found in both structures. The influence of the PZT voltage applied was assessed to reduce power consumption without signal loss, and calibration to μstrains and loads was performed.This research was funded by Basque Government, grant number KK-2019/00051-SMARTRESNAK and by the European Commission, grant number 869884- RECLAIM

On Mechanical and Electrical Coupling Determination at Piezoelectric Harvester by Customized Algorithm Modeling and Measurable Properties

Piezoelectric harvesters use the actuation potential of the piezoelectric material to transform mechanical and vibrational energies into electrical power, scavenging energy from their environment. Few research has been focused on the development and understanding of the piezoelectric harvesters from the material themselves and the real piezoelectric and mechanical properties of the harvester. In the present work, the authors propose a behavior real model based on the experimentally measured electromechanical parameters of a homemade PZT bimorph harvester with the aim to predict its Vrms output. To adjust the harvester behavior, an iterative customized algorithm has been developed in order to adapt the electromechanical coupling coefficient, finding the relationship between the harvester actuator and generator behavior. It has been demonstrated that the harvester adapts its elongation and its piezoelectric coefficients combining the effect of the applied mechanical strain and the electrical behavior as a more realistic behavior due to the electromechanical nature of the material. The complex rms voltage output of the homemade bimorph harvester in the frequency domain has been successfully reproduced by the proposed model. The Behavior Real Model, BRM, developed could become a powerful tool for the design and manufacturing of a piezoelectric harvester based on its customized dimensions, configuration, and the piezoelectric properties of the smart materials.This research was funded by the Basque Government, grant number KK-2021/00082-µ4IIoT, and by the European Commission, grant number 869884- RECLAIM

Thin Client Technology in the Academic Environment

From research groups at the universities of developed countries there is a growing interest in providing solutions to problems of developing countries. In this context we have studied typical problems in many (educational) institutions, such as the lack of technicians who repair the computers, the administration of the machines, and also the difficulty to maintain and configure the old hardware available due to the variety of characteristics of the different machines and the amount of hardware breakdowns and software issues (viruses, administration issues) that the local staff has to face up to with their equipments. We propose a thin client approach that takes into account the human, hardware and software characteristics of developing institutions to provide a complete service for a computer network. The network administration is reduced to the administration of one server only. The maintenance of the machines is simplified and old computers can simulate the running of a powerful computer. Our proposal results in a cheap, simple (from the support point of view) and powerful (in terms of achieved functionalities) design

Electrical Response Analysis of a Piezoelectric Energy Harvester Power Source Based on Electromechanical Parameters

A piezoelectric energy harvester generator is a device capable of transforming environmental mechanical energy into electrical energy. The piezoelectric electromechanical parameters determine the maximum electrical power which is able to be transferred to an electric load. In this research work, an exhaustive study of the electromechanical parameters related to the piezoelectric material is carried out, modeling them as components of an electrical circuit, in order to analyze their influence on the transmitted power. On the other hand, some electrical loads are simulated to determine different matrix scenarios for a model developed by state-space equations in the Laplace transform domain. The results obtained have allowed to know how the piezoelectric material properties and mechanical characteristics influence the electrical power output of the energy harvester generator and the energy transmission behavior for different electric loads. The conclusions show how the different electromechanical parameters are related to each other, and how their combination transforms the mechanical environmental energy into the required electrical energy. The novelty of this research is the presentation of a model capable of obtaining the optimized working point of the harvester, taking into account not only the electric loads and current demands but also the piezoelectric material parameters.This research was funded by the European Commission, grant number 869884-RECLAIM

Aportaciones en Ciencias Sociales: Economía y Humanidades

Lo que se presenta es resultado del apoyo y la colaboración de varias instituciones, grupos de investigadores e investigadores independientes. En ese sentido, queremos otorgar un reconocimiento a quienes tuvieron la voluntad y el tino de apoyar esta iniciativa. Agradecemos a las autoridades de la Universidad Autónoma Chapingo, particularmente a la Rectoría y a sus Direcciones Generales, en especial a la Dirección General de Investigación y Posgrado. Reconocemos también la contribución de la División de Ciencias Económico-Administrativas y de la Preparatoria Agrícola, ambas de esta universidad, pues su ayuda hizo posible este trabajo. Asimismo, expresamos una particular gratitud a las autoridades de la Universidad Autónoma del Estado de México, quiénes a través de directivos, docentes y trabajadores del Centro Universitario UAEM Texcoco, colaboraron de manera generosa. No menos importante fue el apoyo de autoridades y personal especializado del Instituto Nacional de Estadística y Geografía (INEGI). En ello incluimos también a la Facultad de Economía de la Universidad Nacional Autónoma de México, particularmente a la Facultad de Ciencias, así como al Colegio de Postgraduados

Self-Generated Intent-Based System

We propose an intent-based system where, on top of the user intentions, the system itself generates suitable Quality of Service and resilience parameters and may augment the intent characteristics if it detects any room for improvement. We demonstrate the feasibility and challenges of such a system using mininet and the ONOS controller

Branching and Mixing: New Signals of the Ubiquitin Signaling System

Posttranslational modifications allow cells and organisms to adapt to their environment without the need to synthesize new proteins. The ubiquitin system is one of the most versatile modification systems as it does not only allow a simple on–off modification but, by forming a chain of ubiquitin molecules, allows conveying multiple signals. The structure of the chains is dependent on the linkage to the previous ubiquitin molecule as every lysine can serve as an acceptor point for this modification. Different chain types code for specific signals ranging from protein degradation to protein targeting different cellular compartments. Recently the code of ubiquitin signals has been further expanded as branching and mixing of different chain types has been detected. As an additional layer of complexity, modifications of the ubiquitin chain by ubiquitin-like modifiers, like NEDD8, SUMO, or ISG15, have been found. Here we will discuss the different chain types and the technical challenges which are associated with analyzing ubiquitin topology-based signaling

INVESTIGACIÓN EN QUÍMICA, BIOLOGÍA Y AGRONOMÍA

Este libro es el segundo de una serie de dos dedicado a los avances lo relativo a las mezclas de diesel y biodiesel obtenido a partir del aceite de semillas de jatropha curcas, entre otros temas de ese ombustible verde; es decir algo que está al día en cuanto a las búsqueda de fuentes de energía limpias; otro tema ampliamente tratado es el del nitrógeno como elemento de fertilización -que junto con la densidad poblacional de las plantas- buscan prácticas agronómicas para obtener mayores rendimientos. El objetivo final de este libro es el mismo: incorporar cada vez más bibliografía que enriquezca las opciones de consulta por parte de interesados en aspectos particulares y, desde luego, divulgar nuevos conocimentos y ofrecer los resultados del quehacer universitario