180 research outputs found
ABBY: Automating leakage modeling for side-channels analysis
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
L'abstract è presente nell'allegato / the abstract is in the attachmen
Computer Aided Verification
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
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
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
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
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
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
L'abstract è presente nell'allegato / the abstract is in the attachmen
- …