Esta tesis se enmarca dentro del Proyecto de Investigación TIN2017-89951-P: BootTimeIoT: Sistemas de inicio avanzados y sincronización temporal de alta precisión para IoT, específicamente dentro de la línea del proyecto dedicada a "Bootloaders y Sistemas de archivos para sistemas empotrados". La tesis se presenta como compendio de publicaciones...
-
November 7, 2022 (v1)PublicationUploaded on: March 24, 2023
-
January 30, 2024 (v1)Publication
In this contribution, the advantages of using a virtualization platform for IT laboratories is demonstrated. The platform used is based on free (open-source) software and present important advantages with respect to previous virtualization solutions since the new platform provides the students with greater control over their virtual machines....
Uploaded on: February 4, 2024 -
January 31, 2024 (v1)Publication
En la Sociedad de la Información actual, Internet está presente en la mayoría de las actividades cotidianas que realizan las personas. Este hecho ofrece a las Universidades nuevas posibilidades de acercar sus titulaciones a personas que difícilmente podrían cursarlas de forma presencial debido a no poder compatibilizar los horarios de dichas...
Uploaded on: February 4, 2024 -
September 11, 2023 (v1)Publication
This study proposes a hardware secure boot solution, an instant retrieval information system (IRIS) that is suitable for integrating Internet of Things (IoT) devices. IRIS can boot a Linux kernel image pre-stores in removable media and comprises a data verifier securing the authenticity, integrity, and confidentiality of the boot process. IRIS...
Uploaded on: October 18, 2023 -
February 2, 2022 (v1)Publication
This paper introduces a design and on-chip verification framework for IPCores in FPGA platforms. The methodology of the proposed framework is based on the development of a high level software model, an HDL description of the IPCore and the verification of the system under test by the Autotest Core, an on-chip verification core developed for...
Uploaded on: April 4, 2025 -
February 2, 2022 (v1)Publication
The Internet of Things (IoT) security is one of the most important issues developers have to face. Data tampering must be prevented in IoT devices and some or all of the confidentiality, integrity, and authenticity of sensible data files must be assured in most practical IoT applications, especially when data are stored in removable devices...
Uploaded on: April 4, 2025 -
January 16, 2020 (v1)Publication
This paper presents the complete design and implementation of a low-cost, low-footprint, network time protocol server core for field programmable gate arrays. The core uses a carefully designed modular architecture, which is fully implemented in hardware using digital circuits and systems. Most remarkable novelties introduced are a...
Uploaded on: April 5, 2025 -
October 14, 2024 (v1)Publication
This paper presents a new boot loader scheme for embedded devices with file system support built as a hardware module. The work focuses on improving the boot loader hardware and the possibility of carrying out a full boot-up process from the dedicated on-chip hardware, using a light file system to store an operating system kernel. To do so, the...
Uploaded on: October 15, 2024 -
January 8, 2024 (v1)Publication
Unaligned accesses are forbidden in many high-performance architectures. In most of these architectures, the least significant address bits of a multibyte memory access must be zero. Otherwise, the program generating the access is considered erroneous and an exception is flagged. The objective of this paper is to propose an alternative...
Uploaded on: January 10, 2024 -
August 28, 2024 (v1)Publication
This study proposes IRIS a hardware secure boot solution, that is suitable for integrating IoT devices. IRIS can boot a Linux kernel image pre-stored in removable media and comprises a data verifier securing the authenticity, integrity, and confidentiality of the boot process. IRIS is fully developed as a hardware module and the results reveal...
Uploaded on: August 29, 2024