Sub-100 nanosecond temporally resolved imaging with the Medipix3 direct electron detector

Detector developments are currently enabling new capabilities in the field of transmission electron microscopy (TEM). We have investigated the limits of a hybrid pixel detector, Medipix3, to record dynamic, time varying, electron signals. Operating with an energy of 60keV, we have utilised electrostatic deflection to oscillate electron beam position on the detector. Adopting a pump-probe imaging strategy we have demonstrated that temporal resolutions three orders of magnitude smaller than are available for typically used TEM imaging detectors are possible. Our experiments have shown that energy deposition of the primary electrons in the hybrid pixel detector limits the overall temporal resolution. Through adjustment of user specifiable thresholds or the use of charge summing mode, we have obtained images composed from summing 10,000s frames containing single electron events to achieve temporal resolution less than 100ns. We propose that this capability can be directly applied to studying repeatable material dynamic processes but also to implement low-dose imaging schemes in scanning transmission electron microscopy.Comment: 11 pages, 6 figures; improve ref formatting + revise tex

Security Assessment of the Spanish Contactless Identity Card

The theft of personal information to assume the identity of a person is a common threat. Individual criminals, terrorists, or crime rings normally do it to commit fraud or other felonies. Recently, the Spanish identity card, which provides enough information to hire on-line products such as mortgages or loans, was updated to incorporate a Near Field Communication (NFC) chip as electronic passports do. This contactless interface brings a new attack vector for these criminals, who might take advantage of the RFID communication to secretly steal personal information. In this paper, we assess the security of contactless Spanish identity card against identity theft. In particular, we evaluated the resistance of one of the contactless access protocol against brute-force attacks and found that no defenses were incorporated. We suggest how to avoid brute-force attacks. Furthermore, we also analyzed the pseudo-random number generator within the card, which passed all performed tests with good results.MINECO CyCriSec (TIN2014-58457-R).University of Zaragoza and Centro Universitario de la Defensa UZCUD2016-TEC-06.Project TEC2015-69665-R (MINECO/FEDER, UE)

Medipix3 Demonstration and understanding of near ideal detector performance for 60 & 80 keV electrons

In our article we report first quantitative measurements of imaging performance for the current generation of hybrid pixel detector, Medipix3, as direct electron detector. Utilising beam energies of 60 & 80 keV, measurements of modulation transfer function (MTF) and detective quantum efficiency (DQE) have revealed that, in single pixel mode (SPM), energy threshold values can be chosen to maximize either the MTF or DQE, obtaining values near to, or even exceeding, those for an ideal detector. We have demonstrated that the Medipix3 charge summing mode (CSM) can deliver simultaneous, near ideal values of both MTF and DQE. To understand direct detection performance further we have characterized the detector response to single electron events, building an empirical model which can predict detector MTF and DQE performance based on energy threshold. Exemplifying our findings we demonstrate the Medipix3 imaging performance, recording a fully exposed electron diffraction pattern at 24-bit depth and images in SPM and CSM modes. Taken together our findings highlight that for transmission electron microscopy performed at low energies (energies <100 keV) thick hybrid pixel detectors provide an advantageous and alternative architecture for direct electron imagin

FastIC: a fast integrated circuit for the readout of high performance detectors

This work presents the 8-channel FastIC ASIC developed in CMOS 65 nm technology suitable for the readout of positive and negative polarity sensors in high energy physics experiments, Cherenkov detectors and time-of-flight systems. The front-end can be configured to perform analog summation of up to 4 single-ended channels before discrimination in view of improving time resolution when segmenting a SiPM. The outputs encode the time-of-arrival information and linear energy measurement which captures the peak amplitude of the input signal in the 5 µA–25 mA input peak current range. Power consumption of the ASIC is 12 mW/ch with default settings. Measurements of single photon time resolution with a red-light laser source and a HPK SiPM S13360-3050CS are ≈140 ps FWHM

20-ps resolution Clock Distribution Network for a fast-timing single photon detector

The time resolution of active pixel sensors whose timestamp mechanism is based on Time-to-Digital Converters is critically linked to the accuracy in the distribution of the master clock signal that latches the timestamp values across the detector. The Clock Distribution Network that delivers the master clock signal must compensate process-voltage-temperature variations to reduce static time errors (skew), and minimize the power supply bounce to prevent dynamic time errors (jitter). To achieve sub-100ps time resolution within pixel detectors and thus enable a step forward in multiple imaging applications, the network latencies must be adjusted in steps well below that value. Power consumption must be kept as low as possible. In this work, a self-regulated Clock Distribution Network that fulfills these requirements is presented for the FastICpix single photon detector ¿ aiming at a 65nm process. A 40 MHz master clock is distributed to 64x64 pixels over an area of 2.4x2.4 cm2 using digital Delay-Locked Loops, achieving clock leaf skew below 20 ps with a power consumption of 26 mW. Guidelines are provided to adapt the system to arbitrary chip area and pixel pitch values, yielding a versatile design with very fine time resolution

Design and characterisation of the CLICTD pixelated monolithic sensor chip

A novel monolithic pixelated sensor and readout chip, the CLIC Tracker Detector (CLICTD) chip, is presented. The CLICTD chip was designed targeting the requirements of the silicon tracker development for the experiment at the Compact Linear Collider (CLIC), and has been fabricated in a modified 180 nm CMOS imaging process with charge collection on a high-resistivity p-type epitaxial layer. The chip features a matrix of 16×128 elongated channels, each measuring 300×30 μm2. Each channel contains 8 equidistant collection electrodes and analog readout circuits to ensure prompt signal formation. A simultaneous 8-bit Time-of-Arrival (with 10 ns time bins) and 5-bit Time-over-Threshold measurement is performed on the combined digital output of the 8 sub-pixels in every channel. The chip has been fabricated in two process variants and characterised in laboratory measurements using electrical test pulses and radiation sources. Results show a minimum threshold between 135 and 180 e‾ and a noise of about 14 e‾ RMS. The design aspects and characterisation results of the CLICTD chip are presented

Aluminium content of spanish infant formula

Aluminium toxicity has been relatively well documented in infants with impaired renal function and premature neonates. The aims of this study were to analyse the concentration of aluminium in the majority of infant formulae sold commercially in Spain, to determine the influence of aluminium content in the tap water in reconstituted powder formulae and to estimate the theoretical toxic aluminium intake in comparison with the PTWI, and lastly, to discuss the possible interactions of certain essential trace elements added to formulation with aluminium according to type or main protein based infant formula. A total of 82 different infant formulae from 9 different manufacturers were studied. Sample digestion was simulated in a closed acid-decomposition microwave system. Aluminium concentration was determined by atomic absorption spectrophotometry with graphite furnace. In general, the infant formulae studied provide an aluminium level higher than that found in human milk, especially in the case of soya, preterm or hydrolysed casein-based formulae. Standard formulae provide lower aluminium intakes amounting to about 4 % PTWI. Specialised and preterm formulae result in moderate intake (11 – 12 % and 8 – 10 % PTWI, respectively). Soya formulae contribute the highest intake (15 % PTWI). Aluminium exposure from drinking water used for powder formula reconstitution is not considered a clear potential risk. In accordance with the present state of knowledge about aluminium toxicity, it seems prudent to call for continued efforts to standardise routine quality control and reduce aluminium levels in infant formula as well as to keep the aluminium concentration under 300 g l-1 for all infant formulae, most specifically those formulae for premature and low birth neonates

How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics

International audienceIn systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better. This is especially the case of synchronous reactive control loops with a fixed clock; the WCET of the loop body must not exceed the clock period. We compute the WCET (or at least a close upper bound thereof) as the solution of an optimization modulo theory problem that takes into account the semantics of the program, in contrast to other methods that compute the longest path whether or not it is feasible according to these semantics. Optimization modulo theory extends satisfiability modulo theory (SMT) to maximization problems. Immediate encodings of WCET problems into SMT yield formulas intractable for all current production-grade solvers; this is inherent to the DPLL(T) approach to SMT implemented in these solvers. By conjoining some appropriate "cuts" to these formulas, we considerably reduce the computation time of the SMT-solver. We experimented our approach on a variety of control programs, using the OTAWA analyzer both as baseline and as underlying microarchitectural analysis for our analysis, and show notable improvement on the WCET bound on a variety of benchmarks and control programs