Designing Robust Checkers in the Presence of Massive Timing Errors

Author(s):  
F. Worm ◽  
P. Thiran ◽  
P. Ienne
Keyword(s):  
1980 ◽  
Vol 26 (4) ◽  
pp. 393-400 ◽  
Author(s):  
I. Iizuka ◽  
M. Kasahara ◽  
T. Namekawa
Keyword(s):  

2017 ◽  
Vol 88 (6) ◽  
pp. 1472-1479 ◽  
Author(s):  
Ellen M. Syracuse ◽  
W. Scott Phillips ◽  
Monica Maceira ◽  
Michael L. Begnaud

2003 ◽  
Vol 51 (4) ◽  
pp. 530-534 ◽  
Author(s):  
Yunjing Yin ◽  
J.P. Fonseka ◽  
I. Korn
Keyword(s):  

Author(s):  
Xun Jiao ◽  
Abbas Rahimi ◽  
Balakrishnan Narayanaswamy ◽  
Hamed Fatemi ◽  
Jose Pineda de Gyvez ◽  
...  

Author(s):  
N. Seube

Abstract. This paper introduce a new method for validating the precision of an airborne or a mobile LiDAR data set. The proposed method is based on the knowledge of an a Combined Standard Measurement Uncertainty (CSMU) model which describes LiDAR point covariance matrix and thus uncertainty ellipsoid. The model we consider includes timing errors and most importantly the incidence of the LiDAR beam. After describing the relationship between the beam incidence and other variable uncertainty (especially attitude uncertainty), we show that we can construct a CSMU model giving the covariance of each oint as a function of the relative geometry between the LiDAR beam and the point normal. The validation method we propose consist in comparing the CSMU model (predictive a priori uncertainty) t the Standard Deviation Alog the Surface Normal (SDASN), for all set of quasi planr segments of the point cloud. Whenever the a posteriori (i.e; observed by the SDASN) level of uncertainty is greater than a priori (i.e; expected) level of uncertainty, the point fails the validation test. We illustrate this approach on a dataset acquired by a Microdrones mdLiDAR1000 system.


2021 ◽  
Vol 17 (3) ◽  
pp. 1-24
Author(s):  
Ioannis Tsiokanos ◽  
Jack Miskelly ◽  
Chongyan Gu ◽  
Maire O’neill ◽  
Georgios Karakonstantis

In recent years, physical unclonable functions (PUFs) have gained a lot of attention as mechanisms for hardware-rooted device authentication. While the majority of the previously proposed PUFs derive entropy using dedicated circuitry, software PUFs achieve this from existing circuitry in a system. Such software-derived designs are highly desirable for low-power embedded systems as they require no hardware overhead. However, these software PUFs induce considerable processing overheads that hinder their adoption in resource-constrained devices. In this article, we propose DTA-PUF, a novel, software PUF design that exploits the instruction- and data-dependent dynamic timing behaviour of pipelined cores to provide a reliable challenge-response mechanism without requiring any extra hardware. DTA-PUF accepts sequences of instructions as an input challenge and produces an output response based on the manifested timing errors under specific over-clocked settings. To lower the required processing effort, we systematically select instruction sequences that maximise error-rate. The application to a post-layout pipelined floating-point unit, which is implemented in 45 nm process technology, demonstrates the effectiveness and practicability of our PUF design. Finally, DTA-PUF requires up to 50× fewer instructions than existing software processor PUF designs, limiting processing costs and resulting in up to 26% power savings.


2021 ◽  
pp. 1-1
Author(s):  
Guilherme Paim ◽  
Hussam Amrouch ◽  
Leandro Mateus Giacominni Rocha ◽  
Brunno Alves Abreu ◽  
Sergio Bampi ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document