Cryptographic Fault Diagnosis using VerFI

Historically, fault diagnosis for integrated circuits has singularly dealt with reliability concerns. In contrast, a cryptographic circuit needs to be primarily evaluated concerning information leakage in the presence of maliciously crafted faults. While Differential Fault Attacks (DFAs) on symmetric ciphers have been known for over 20 years, recent developments have tried to structurally classify the attackers’ capabilities as well as the properties of countermeasures. Correct realization of countermeasures should still be manually verified, which is error-prone and infeasible for even moderate-size real-world designs. Here, we introduce the concept of Cryptographic Fault Diagnosis, which revises and shapes the notions of fault diagnosis in reliability testing to the needs of evaluating cryptographic implementations. Additionally, we present VerFI, which materializes the idea of Cryptographic Fault Diagnosis. It is a fully automated, open-source fault detection tool processing the gate-level representation of arbitrary cryptographic implementations. By adjusting the bounds of the underlying adversary model, VerFI allows us to rapidly examine the desired fault detection/correction capabilities of the given implementation. Among several case studies, we demonstrate its application on an implementation of LED cipher with combined countermeasures against side-channel analysis and fault-injection attacks (published at CRYPTO 2016). This experiment revealed general implementation flaws and undetectable faults leading to successful DFA on the protected design with full-key recovery

ICR ANNUAL REPORT 2022 (Volume 29)[All Pages]

This Annual Report covers from 1 January to 31 December 202

Sensors Fault Diagnosis Trends and Applications

Fault diagnosis has always been a concern for industry. In general, diagnosis in complex systems requires the acquisition of information from sensors and the processing and extracting of required features for the classification or identification of faults. Therefore, fault diagnosis of sensors is clearly important as faulty information from a sensor may lead to misleading conclusions about the whole system. As engineering systems grow in size and complexity, it becomes more and more important to diagnose faulty behavior before it can lead to total failure. In the light of above issues, this book is dedicated to trends and applications in modern-sensor fault diagnosis

Elements of Ion Linear Accelerators, Calm in The Resonances, Other_Tales

The main part of this book, Elements of Linear Accelerators, outlines in Part 1 a framework for non-relativistic linear accelerator focusing and accelerating channel design, simulation, optimization and analysis where space charge is an important factor. Part 1 is the most important part of the book; grasping the framework is essential to fully understand and appreciate the elements within it, and the myriad application details of the following Parts. The treatment concentrates on all linacs, large or small, intended for high-intensity, very low beam loss, factory-type application. The Radio-Frequency-Quadrupole (RFQ) is especially developed as a representative and the most complicated linac form (from dc to bunched and accelerated beam), extending to practical design of long, high energy linacs, including space charge resonances and beam halo formation, and some challenges for future work. Also a practical method is presented for designing Alternating-Phase- Focused (APF) linacs with long sequences and high energy gain. Full open-source software is available. The following part, Calm in the Resonances and Other Tales, contains eyewitness accounts of nearly 60 years of participation in accelerator technology. (September 2023) The LINACS codes are released at no cost and, as always,with fully open-source coding. (p.2 & Ch 19.10)Comment: 652 pages. Some hundreds of figures - all images, there is no data in the figures. (September 2023) The LINACS codes are released at no cost and, as always,with fully open-source coding. (p.2 & Ch 19.10

Pertanika Journal of Science & Technology

TesisEl propósito de este trabajo de investigación fue determinar el grado de relación entre el clima organizacional y la satisfacción laboral en los trabajadores de la Asociación para el Desarrollo Empresarial en Apurímac, Andahuaylas. A fin de proporcionar al directivo de la institución, sugerencias de cambio, reforzamiento y/o de mejora. Para la realización de este estudio se determinó como muestra al total de la población, conformada por 30 trabajadores a quienes se les aplicó un cuestionario estructurado, tipo escala de Likert, para diagnosticar el clima organizacional, compuesto por 21 ítems correspondiente a 5 dimensiones, y para medir la satisfacción laboral, compuesto por 14 ítems correspondiente a 2 dimensiones, validados por tres expertos en la materia. El análisis de fiabilidad de los cuestionarios arroja un coeficiente de Alf a de Cronbach para la escala de clima organizacional y satisfacción laboral de 0.796 y 0.721 respectivamente confiables. La hipótesis principal señalaba que existía relación entre el clima organizacional y satisfacción laboral. La principal conclusión comprobó que hay relación entre las dos variable, es decir, existe relación significativa positiva entre el clima organizacional y satisfacción laboral. A nivel de las hipótesis específicas se comprobó las dimensiones de clima organizacional la estructura, autonomía, relaciones interpersonales, identidad se correlacionaron de forma significante y positiva con la satisfacción laboral. Sin embargo no se encontró relación entre la dimensión recompensa con la satisfacción laboral en la Asociación para el Desarrollo Empresarial el Apurímac

Intelligent Sensors for Human Motion Analysis

The book, "Intelligent Sensors for Human Motion Analysis," contains 17 articles published in the Special Issue of the Sensors journal. These articles deal with many aspects related to the analysis of human movement. New techniques and methods for pose estimation, gait recognition, and fall detection have been proposed and verified. Some of them will trigger further research, and some may become the backbone of commercial systems