180 research outputs found

    ABBY: Automating leakage modeling for side-channels analysis

    Get PDF
    We introduce ABBY, an open-source side-channel leakage profiling framework that targets the microarchitectural layer. Existing solutions to characterize the microarchitectural layer are device-specific and require extensive manual effort. The main innovation of ABBY is the collection of data, which can automatically characterize the microarchitecture of a target device and has the additional benefit of being scalable. Using ABBY, we create two sets of data which capture the interaction of instructions for the ARM CORTEX-M0/M3 architecture. These sets are the first to capture detailed information on the microarchitectural layer. They can be used to explore various leakage models suitable for creating sidechannel leakage simulators. A preliminary evaluation of a leakage model produced with our dataset of real-world cryptographic implementations shows performance comparable to state-of-the-art leakage simulators

    Toward Fault-Tolerant Applications on Reconfigurable Systems-on-Chip

    Get PDF
    L'abstract è presente nell'allegato / the abstract is in the attachmen

    Computer Aided Verification

    Get PDF
    This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book

    Twining

    Get PDF
    Hypertext is now commonplace: links and linking structure nearly all of our experiences online. Yet the literary, as opposed to commercial, potential of hypertext has receded. One of the few tools still focused on hypertext as a means for digital storytelling is Twine, a platform for building choice-driven stories without relying heavily on code. In Twining, Anastasia Salter and Stuart Moulthrop lead readers on a journey at once technical, critical, contextual, and personal. The book’s chapters alternate careful, stepwise discussion of adaptable Twine projects, offer commentary on exemplary Twine works, and discuss Twine’s technological and cultural background. Beyond telling the story of Twine and how to make Twine stories, Twining reflects on the ongoing process of making

    Analysis and optimization of a debug post-silicon hardware architecture

    Get PDF
    The goal of this thesis is to analyze the post-silicon validation hardware infrastructure implemented on multicore systems taking as an example Esperanto Technologies SoC, which has thousands of RISC-V processors and targets specific software applications. Then, based on the conclusions of the analysis, the project proposes a new post-silicon debug architecture that can fit on any System on-Chip without depending on its target application or complexity and that optimizes the options available on the market for multicore systems

    Circuit Design

    Get PDF
    Circuit Design = Science + Art! Designers need a skilled "gut feeling" about circuits and related analytical techniques, plus creativity, to solve all problems and to adhere to the specifications, the written and the unwritten ones. You must anticipate a large number of influences, like temperature effects, supply voltages changes, offset voltages, layout parasitics, and numerous kinds of technology variations to end up with a circuit that works. This is challenging for analog, custom-digital, mixed-signal or RF circuits, and often researching new design methods in relevant journals, conference proceedings and design tools unfortunately gives the impression that just a "wild bunch" of "advanced techniques" exist. On the other hand, state-of-the-art tools nowadays indeed offer a good cockpit to steer the design flow, which include clever statistical methods and optimization techniques.Actually, this almost presents a second breakthrough, like the introduction of circuit simulators 40 years ago! Users can now conveniently analyse all the problems (discover, quantify, verify), and even exploit them, for example for optimization purposes. Most designers are caught up on everyday problems, so we fit that "wild bunch" into a systematic approach for variation-aware design, a designer's field guide and more. That is where this book can help! Circuit Design: Anticipate, Analyze, Exploit Variations starts with best-practise manual methods and links them tightly to up-to-date automation algorithms. We provide many tractable examples and explain key techniques you have to know. We then enable you to select and setup suitable methods for each design task - knowing their prerequisites, advantages and, as too often overlooked, their limitations as well. The good thing with computers is that you yourself can often verify amazing things with little effort, and you can use software not only to your direct advantage in solving a specific problem, but also for becoming a better skilled, more experienced engineer. Unfortunately, EDA design environments are not good at all to learn about advanced numerics. So with this book we also provide two apps for learning about statistic and optimization directly with circuit-related examples, and in real-time so without the long simulation times. This helps to develop a healthy statistical gut feeling for circuit design. The book is written for engineers, students in engineering and CAD / methodology experts. Readers should have some background in standard design techniques like entering a design in a schematic capture and simulating it, and also know about major technology aspects

    Generic wireless sensor network for dynamic monitoring of a new generation of building material

    Get PDF
    Existing testing methods for building materials before deployment include a series of procedures as stipulated in British Standards, and most tests are performed in a controlled laboratory environment. Types of equipment used for measurements, data logging, and visualisation are commonly bulky, hard-wired, and consume a significant amount of power. Most of the off-the-shelf sensing nodes have been designed for a few specific applications and cannot be used for general purpose applications. This makes it difficult to modify or extend the sensing features when needed. This thesis takes the initiative of designing and implementing a low-powered, open-source, flexible, and small-sized Generic wireless sensor network (GWSN) that can continuously monitor the building materials and building environment, to address the limitations of the conventional measurement methods and the technological gap. The designed system is comprised of two custom-made sensor nodes and a gateway, as well as purpose designed firmware for data collection and processing. For the proof of concept and experimental studies, several measurement strategies were designed, to demonstrate, evaluate, and validate the effectiveness of the system. The data was collected from selected case study areas in the School of Energy, Geoscience, Infrastructure and Society (EGIS) laboratories by measuring and monitoring building structures and indoor environment quality parameters using the designed GWSN. The measured data includes heat flux through the material, surface and air temperatures on both sides of the material/structure, moisture variation, ambient temperature, relative humidity, carbon dioxide, volatile organic compounds, particulate matter, and sound/acoustic levels. The initial results show the potential of the designed system to become the new benchmark for tracking the variation of building materials with the environment and investigating the impact of variation of building materials on indoor environment quality. Based on the estimates of the thermal performance data, the sample used in the experiment had a typical U-value between 4.8 and 5.8 W/m2K and a thermal resistance value of 0.025m2 ·K/W[1][2]. Thermal resistance values from the GWSN real-time measurement were between 0.025 and 0.03 m2K/W, with an average of 0.025 m2K/W, and thermal transmission values varied between 4.55 and 5.11 W/m2K. Based on the data obtained, the results are within the range of typical values[3]. For thermal comfort measurements, the results of humidity and temperature from GWSN were compared to values in the Kambic climatic chamber in the EGIS laboratory, and the accuracies were 99 % and 98 % respectively. For the IAQ measurements, the values of CO2 and TVOCs were compared to the commercial off-the-shelf measuring system, and the accuracies were 98 %, and 97 %. Finally, the GWSN was tested for acoustic measurements in the range of 55 dB to 106 dB. The results were compared to class one Bruel & Kjaer SLM. The accuracy of GWSN was 97 %. The GWSN can be used for in lab and in-situ applications, to measure and analyse the thermal physical properties of building materials/building structures (thermal transmittance, thermal conductivity, and thermal resistance). The system can also measure indoor air quality, thermal comfort, and airborne sound insulation of the building envelope. The key point here is to establish a direct link between how building materials vary with the environment and how this impacts indoor environment quality. Such a link is essential for long-term analysis of building materials, which cannot be achieved using current methods. Regarding increasing the power efficient of the implemented GWSN as well as its performance and functionality, a new sensing platforms using backscatter technology have been introduced. The theory of modulation and spread spectrum technique used in backscattering has been explored. The trade-off between hardware complexity/power consumption and link performance has been investigated. Theoretical analysis and simulation validation of the new sensing technique, using backscatter communication, has been performed. A novel multicarrier backscatter tag compatible with Wireless Fidelity has been implemented and an IEEE 802.11g OFDM preamble was synthesized by simulation. The tag consists of only two transistors with current consumption no larger than 0.2 μA at voltage of less than 0.6 V. Novel harmonic suppression approaches for frequency-shifted backscatter communication has been proposed and demonstrated. The proposed approaches independently manipulate mirror harmonics and higher order harmonics whereby; specified higher order harmonics can be removed by carefully designing the real-valued (continuous and discrete) reflection coefficients-based backscatter tags. When successfully implemented, the backscatter system will reduce sensor node power consumption by shifting the power-consuming radio frequency carrier synthesis functions to carrier emitters.Engineering and Physical Sciences Research Council (EPSRC) Funding EP/H009612/

    Enabling Technology in Optical Fiber Communications: From Device, System to Networking

    Get PDF
    This book explores the enabling technology in optical fiber communications. It focuses on the state-of-the-art advances from fundamental theories, devices, and subsystems to networking applications as well as future perspectives of optical fiber communications. The topics cover include integrated photonics, fiber optics, fiber and free-space optical communications, and optical networking

    Novel Validation Techniques for Autonomous Vehicles

    Get PDF
    L'abstract è presente nell'allegato / the abstract is in the attachmen
    • …
    corecore