19 research outputs found
Special Session: Security and RAS in the Computing Continuum
No full textSecurity and RAS are two non-functional requirements under focus for current systems developed for the computing continuum. Due to the increased number of interconnected computer systems across the continuum, security becomes especially pervasive at all levels, from the smallest edge device to the high-performance cloud at the other end. Similarly, RAS (Reliability, Availability, and Serviceability) ensures the robustness of a system towards hardware defects. Namely, making them reliable, with high availability and design for easy service. In this paper and as a result of the Vitamin-V Eu project, the authors detail the comprehensive approach to malware and hardware attack detection; as well as, the RAS features envisioned for future systems across the computing continuum
Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective
No full textVitamin-V is a project funded under the Horizon Europe program for the period 2023-2025. The project aims to create a complete open-source software stack for RISC-V that can be used for cloud services. This software stack is intended to have the same level of performance as the x86 architecture, which is currently dominant in the cloud computing industry. In addition, the project aims to create a powerful virtual execution environment that can be used for software development, validation, verification, and testing. The virtual environment will consider the relevant RISC-V ISA extensions required for cloud deployment. Commercial cloud systems use hardware features currently unavailable in RISC-V virtual environments, including virtualization, cryptography, and vectorization. To address this, Vitamin-V will support these features in three virtual environments: QEMU, gem5, and cloud-FPGA prototype platforms. The project will focus on providing support for EPI-based RISC-V designs for both the main CPUs and cloud-important accelerators, such as memory compression. The project will add the compiler (LLVM-based) and toolchain support for the ISA extensions. Moreover, Vitamin-V will develop novel approaches for validating, verifying, and testing software trustworthiness. This paper focuses on the plans and visions that the Vitamin-V project has to support validation, verification, and testing for cloud applications, particularly emphasizing the hardware support that will be provided
CERNphone automated testing
No full textThis document describes the automatization of CERNphone testing. Tests are based on the VOLTS project. Tests are executed each hour, and the state is sent to MONIT, to keep track of the service's status. All tests are running in a virtual machine on top of OpenStack and managed by Puppet. The architecture of the project is composed of four docker containers i.e. prepare, database, vp, and report. In addition, a work environment for developing the tests locally before deploying is provided
Evaluació de la seguretat de la capa física basada en la generació de claus en LoRaWAN
No full textThis work analyzes the behavior of physical layer security in a LoRaWAN. For this purpose, a testbed is designed and implemented. The testbed had two main participants, Alice and Bob. Each one was transmitting over the LoRa protocol. For the generation of the symmetric keys, based on the channel perceived by Alice and Bob, the RSSI measure was chosen as the channel parameter to be quantized. For the quantization process, two different quantizers were used. Those are the threshold-based quantizer and the difference-based quantizer. Furthermore, when the results are discussed, its performance is compared. Also, we analyze how the performance of both quantizers is when the key generation was based on samples that present different correlations between Alice?s and Bob?s measures.Este trabajo analiza el comportamiento de la seguridad de la capa física en un LoRaWAN. Para ello, se diseñó e implementó un banco de pruebas. El banco de pruebas tuvo dos participantes principales, Alice y Bob. Cada uno de ellos transmitía a través del protocolo LoRa. Para la generación de las claves simétricas, basadas en el canal percibido por Alice y Bob, se eligió la medida RSSI como parámetro del canal a cuantificar. Para el proceso de cuantificación se utilizaron dos cuantificadores diferentes. Estos son el cuantificador basado en un umbral y el cuantificador basado en la diferencia. Además, cuando se discuten los resultados, se compara su rendimiento. También analizamos cómo fué el rendimiento de ambos cuantificadores cuando la generación clave se basó en muestras que presentan diferentes correlaciones entre las medidas de Alice y Bob.Aquest treball analitza el comportament de la seguretat de la capa física en una LoRaWAN. Amb aquest propòsit, es va dissenyar i va implementar un banc de proves. El banc de proves va tenir dos participants principals, Alice i Bob. Cadascun d'ells transmetia a través del protocol LoRa. Per a la generació de les claus simètriques, basades en el canal percebut per Alice i Bob, es va triar la mesura RSSI com a paràmetre del canal a quantificar. Per al procés de quantificació es van utilitzar dos quantificadors diferents. Aquests són el quantificador basat en un llindar i el quantificador basat en la diferència. A més, quan es discuteixen els resultats, es compara el rendiment d'aquests. També analitzem com va anar el rendiment de tots dos quantificadors quan la generació de les claus es van basar en mostres que presentaven diferents correlacions entre les mesures d'Alice i Bob
Evaluació de la seguretat de la capa física basada en la generació de claus en LoRaWAN
No full textThis work analyzes the behavior of physical layer security in a LoRaWAN. For this purpose, a testbed is designed and implemented. The testbed had two main participants, Alice and Bob. Each one was transmitting over the LoRa protocol. For the generation of the symmetric keys, based on the channel perceived by Alice and Bob, the RSSI measure was chosen as the channel parameter to be quantized. For the quantization process, two different quantizers were used. Those are the threshold-based quantizer and the difference-based quantizer. Furthermore, when the results are discussed, its performance is compared. Also, we analyze how the performance of both quantizers is when the key generation was based on samples that present different correlations between Alice?s and Bob?s measures.Este trabajo analiza el comportamiento de la seguridad de la capa física en un LoRaWAN. Para ello, se diseñó e implementó un banco de pruebas. El banco de pruebas tuvo dos participantes principales, Alice y Bob. Cada uno de ellos transmitía a través del protocolo LoRa. Para la generación de las claves simétricas, basadas en el canal percibido por Alice y Bob, se eligió la medida RSSI como parámetro del canal a cuantificar. Para el proceso de cuantificación se utilizaron dos cuantificadores diferentes. Estos son el cuantificador basado en un umbral y el cuantificador basado en la diferencia. Además, cuando se discuten los resultados, se compara su rendimiento. También analizamos cómo fué el rendimiento de ambos cuantificadores cuando la generación clave se basó en muestras que presentan diferentes correlaciones entre las medidas de Alice y Bob.Aquest treball analitza el comportament de la seguretat de la capa física en una LoRaWAN. Amb aquest propòsit, es va dissenyar i va implementar un banc de proves. El banc de proves va tenir dos participants principals, Alice i Bob. Cadascun d'ells transmetia a través del protocol LoRa. Per a la generació de les claus simètriques, basades en el canal percebut per Alice i Bob, es va triar la mesura RSSI com a paràmetre del canal a quantificar. Per al procés de quantificació es van utilitzar dos quantificadors diferents. Aquests són el quantificador basat en un llindar i el quantificador basat en la diferència. A més, quan es discuteixen els resultats, es compara el rendiment d'aquests. També analitzem com va anar el rendiment de tots dos quantificadors quan la generació de les claus es van basar en mostres que presentaven diferents correlacions entre les mesures d'Alice i Bob
REMOVED: Integration of Electrodialysis and Enzymatic Modification of Amino Acids for the Production of Biochemicals
No full textThis article has been removed: please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy).This article has been removed at the request of the Executive Publisher.This article has been removed because it was published without the permission of the author(s)
Surveillance of adenoviruses and noroviruses in European recreational waters
No full textExposure to human pathogenic viruses in recreational waters has been shown to cause disease outbreaks. In the context of Article 14 of the revised European Bathing Waters Directive 2006/7/EC (rBWD, CEU, 2006) a Europe-wide surveillance study was carried out to determine the frequency of occurrence of two human enteric viruses in recreational waters. Adenoviruses were selected based on their near-universal shedding and environmental survival, and noroviruses (NoV) selected as being the most prevalent gastroenteritis agent worldwide. Concentration of marine and freshwater samples was done by adsorption/elution followed by molecular detection by (RT)-PCR. Out of 1410 samples, 553 (39.2%) were positive for one or more of the target viruses. Adenoviruses, detected in 36.4% of samples, were more prevalent than noroviruses (9.4%), with 3.5% GI and 6.2% GII, some samples being positive for both GI and GII. Of 513 human adenovirus-positive samples, 63 (12.3%) were also norovirus-positive, whereas 69 (7.7%) norovirus-positive samples were adenovirus-negative. More freshwater samples than marine water samples were virus-positive. Out of a small selection of samples tested for adenovirus infectivity, approximately one-quarter were positive. Sixty percent of 132 nested-PCR adenovirus-positive samples analysed by quantitative PCR gave a mean value of over 3000 genome copies per L of water. The simultaneous detection of infectious adenovirus and of adenovirus and NoV by (RT)PCR suggests that the presence of infectious viruses in recreational waters may constitute a public health risk upon exposure. These studies support the case for considering adenoviruses as an indicator of bathing water quality
The demography of family reunification: from circulation to substitution in Gambian Spain
No full text-Gambia, The, Spain, family demography, family reunification, migration, migration policy
Generation of Curved High-order Meshes with Optimal Quality and Geometric Accuracy
No full textWe present a novel methodology to generate curved high-order meshes featuring optimal mesh quality and geometric accuracy. The proposed technique combines a distortion measure and a geometric Full-size image (<1 K)-disparity measure into a single objective function. While the element distortion term takes into account the mesh quality, the Full-size image (<1 K)-disparity term takes into account the geometric error introduced by the mesh approximation to the target geometry. The proposed technique has several advantages. First, we are not restricted to interpolative meshes and therefore, the resulting mesh approximates the target domain in a non-interpolative way, further increasing the geometric accuracy. Second, we are able to generate a series of meshes that converge to the actual geometry with expected rate while obtaining high-quality elements. Third, we show that the proposed technique is robust enough to handle real-case geometries that contain gaps between adjacent entities.This research was partially supported by the Spanish Ministerio de Economía y Competitividad under grand contract
CTM2014-55014-C3-3-R, and by the Government of Catalonia under grand contract 2014-SGR-1471. The work of the last author was supported by the European Commission through the Marie Sklodowska-Curie Actions
(HiPerMeGaFlows project).Peer Reviewe
Generation of Curved High-order Meshes with Optimal Quality and Geometric Accuracy
No full textWe present a novel methodology to generate curved high-order meshes featuring optimal mesh quality and geometric accuracy. The proposed technique combines a distortion measure and a geometric Full-size image (<1 K)-disparity measure into a single objective function. While the element distortion term takes into account the mesh quality, the Full-size image (<1 K)-disparity term takes into account the geometric error introduced by the mesh approximation to the target geometry. The proposed technique has several advantages. First, we are not restricted to interpolative meshes and therefore, the resulting mesh approximates the target domain in a non-interpolative way, further increasing the geometric accuracy. Second, we are able to generate a series of meshes that converge to the actual geometry with expected rate while obtaining high-quality elements. Third, we show that the proposed technique is robust enough to handle real-case geometries that contain gaps between adjacent entities.This research was partially supported by the Spanish Ministerio de Economía y Competitividad under grand contract
CTM2014-55014-C3-3-R, and by the Government of Catalonia under grand contract 2014-SGR-1471. The work of the last author was supported by the European Commission through the Marie Sklodowska-Curie Actions
(HiPerMeGaFlows project).Peer ReviewedPostprint (published version
