[書籍][B] Processor description languages

P Mishra, N Dutt - 2011 - books.google.com
Efficient design of embedded processors plays a critical role in embedded systems design.
Processor description languages and their associated specification, exploration and rapid …

Sensor physical unclonable functions

K Rosenfeld, E Gavas, R Karri - 2010 IEEE international …, 2010 - ieeexplore.ieee.org
We propose a novel variety of sensor that extends the functionality of conventional physical
unclonable functions to provide authentication, unclonability, and verification of a sensed …

CEDA: Control-flow error detection using assertions

R Vemu, J Abraham - IEEE Transactions on Computers, 2011 - ieeexplore.ieee.org
This paper presents an efficient software technique, control-flow error detection through
assertions (CEDA), for online detection of control-flow errors. Extra instructions are …

Review of fault injection mechanisms and consequences on countermeasures design

JM Dutertre, JJA Fournier, AP Mirbaha… - … on Design & …, 2011 - ieeexplore.ieee.org
The secret keys handled by cryptographic devices can be extracted using fault attacks
associated with cryptanalysis techniques. These faults can be induced by different means …

Control-flow checking using branch instructions

M Jafari-Nodoushan, SG Miremadi… - 2008 IEEE/IFIP …, 2008 - ieeexplore.ieee.org
This paper presents a hardware control-flow checking scheme for RISC processor-based
systems. This scheme combines two error detection mechanisms to provide high coverage …

Architectural frameworks for security and reliability of MPSoCs

K Patel, S Parameswaran… - IEEE transactions on very …, 2010 - ieeexplore.ieee.org
Multiprocessor system-on-chip (MPSoC) architectures are increasingly used in modern
embedded systems. MPSoCs are used for confidential and critical applications and hence …

FEDC: Control Flow Error Detection and Correction for embedded systems without program interruption

N Farazmand, M Fazeli… - 2008 Third International …, 2008 - ieeexplore.ieee.org
This paper proposes a new technique called CFEDC to detect and correct control flow errors
(CFEs) without program interruption. The proposed technique is based on the modification …

Path sensitive signatures for control flow error detection

Z Zhang, S Park, S Mahlke - … 21st ACM SIGPLAN/SIGBED Conference on …, 2020 - dl.acm.org
Transistors' performance has been improving by shrinking feature sizes, lowering voltage
levels, and reducing noise margins. However, these changes also make transistors more …

Tree-based microaggregation for the anonymization of search logs

G Navarro-Arribas, V Torra - 2009 IEEE/WIC/ACM International …, 2009 - ieeexplore.ieee.org
When considering the publishing of web search query logs, there is an important trade-off
between the privacy and the usefulness of the data. This paper introduces a novel approach …

Strategic information systems planning with box structures

AR Hevner, DJ Bernt, J Studnicki - Proceedings of the 33rd …, 2000 - ieeexplore.ieee.org
Strategic information systems planning (SISP) is the process of aligning an organization's
business strategy with effective computer based information systems to achieve critical …