Abstract
Cardiovascular disease is the leading cause of death around the world and its early detection is a key to improving long-term health outcomes. To detect possible heart anomalies at an early stage, an automatic method enabling cardiac health low-cost screening for the general population would be highly valuable. By analyzing the phonocardiogram (PCG) signals, it is possible to perform cardiac diagnosis and find possible anomalies at an early-term. Accordingly, the development of intelligent and automated analysis tools of the PCG is very relevant. In this work, the PCG signals are studied with the main objective of determining whether a PCG signal corresponds to a “normal” or “abnormal” physiological state. The main contribution of this work is the evidence provided that time domain features can be combined with features extracted from a wavelet transformation of PCG signals to improve automatic cardiac disease classification. We empirically demonstrate that, from a pool of alternatives, the best classification results are achieved when both time and wavelet features are used by a Support Vector Machine with a linear kernel. Our approach has obtained better results than the ones reported by the challenge participants which use large amounts of data and high computational power.

Abstract
The IoT (Internet of Things) is a network composed of several devices (things) connected to the Internet and to each other. IoT services are increasingly growing and are allowing companies to deploy scalable solutions with reduced costs and instantaneous data access. These solutions require seamless authentication, data privacy, security, robustness against attacks, easy deployment, and self- maintenance. Such requirements can be given to a company's IoT solution by applying blockchain technology. This paper analyzes the blockchain technology and the advantages and challenges behind its implementation in an IoT environment. A blockchain in IoT scenario was developed to evaluate the performance of different cryptographic hash functions in the IoT device RaspberryPi. Conclusions were drawn when it comes to the viability of some hash functions mainly based on the low resource characteristic shared by the IoT devices, which compromises the performance of the hash function.

Abstract
We present a high-assurance and high-speed implementation of the SHA-3 hash function. Our implementation is written in the Jasmin programming language, and is formally verified for functional correctness, provable security and timing attack resistance in the EasyCrypt proof assistant. Our implementation is the first to achieve simultaneously the four desirable properties (efficiency, correctness, provable security, and side-channel protection) for a non-trivial cryptographic primitive. Concretely, our mechanized proofs show that: 1) the SHA-3 hash function is indifferentiable from a random oracle, and thus is resistant against collision, first and second preimage attacks; 2) the SHA-3 hash function is correctly implemented by a vectorized x86 implementation. Furthermore, the implementation is provably protected against timing attacks in an idealized model of timing leaks. The proofs include new EasyCrypt libraries of independent interest for programmable random oracles and modular indifferentiability proofs.

Abstract

Abstract

Abstract
This book describes the Optical Immersion Clearing method and its application to acquire information with importance for clinical practice and various fields of biomedical engineering. The method has proved to be a reliable means of increasing tissue transparency, allowing the investigator or surgeon to reach deeper tissue layers for improved imaging and laser surgery. This result is obtained by partial replacement of tissue water with an active optical clearing agent (OCA) that has a higher refractive index and is a better match for the refractive index of other tissue components. Natural tissue scattering is thereby reduced. An exponential increase in research using this method has occurred in recent years, and new applications have emerged, both in clinical practice and in some areas of biomedical engineering. Recent research has revealed that treating ex vivo tissues with solutions containing active OCAs in different concentrations produces experimental data to characterize drug delivery or to discriminate between normal and pathological tissues. The obtained drug diffusion properties are of interest for the pharmaceutical and organ preservation industry. Similar data can be estimated with particular interest for food preservation. The free water content evaluation is also of great interest since it facilitates the characterization of tissues to discriminate pathologies. An interesting new application that is presented in the book regards the creation of two optical windows in the ultraviolet spectral range through the application of the immersion method. These induced transparency windows open the possibility to diagnose and treat pathologies with ultraviolet light. This book presents photographs from the tissues we have studied and figures that represent the experimental setups used. Graphs and tables are also included to show the numerical results obtained in the sequential calculations performed.