Sciweavers

2918 search results - page 189 / 584
» Design tools for reliability analysis
Sort
View
FOSAD
2005
Springer
15 years 9 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
CORR
2006
Springer
77views Education» more  CORR 2006»
15 years 4 months ago
Prioritizing Software Inspection Results using Static Profiling
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
Cathal Boogerd, Leon Moonen
FDTC
2006
Springer
117views Cryptology» more  FDTC 2006»
15 years 7 months ago
DPA on Faulty Cryptographic Hardware and Countermeasures
Abstract. Balanced gates are an effective countermeasure against power analysis attacks only if they can be guaranteed to maintain their power balance. Traditional testing and reli...
Konrad J. Kulikowski, Mark G. Karpovsky, Alexander...
137
Voted
BMCBI
2007
123views more  BMCBI 2007»
15 years 4 months ago
PedGenie: meta genetic association testing in mixed family and case-control designs
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...
Karen Curtin, Jathine Wong, Kristina Allen-Brady, ...
DAC
2005
ACM
15 years 6 months ago
Mapping statistical process variations toward circuit performance variability: an analytical modeling approach
A physical yet compact gate delay model is developed integrating short-channel effects and the Alpha-power law based timing model. This analytical approach accurately predicts bot...
Yu Cao, Lawrence T. Clark