29 search results - page 2 / 6 » Hardware software co-verification of cryptographic algorithm... |
CSREASAM
2006
14 years 11 months ago
2006
- Although Internet serves many contents and services, it has serious problems of security: the invasion of privacy, hacking and etc. To prevent these problems, two implementations...
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
: Cryptographic algorithms – even when designed for easy implementability on general purpose architectures – still show a huge performance gap between implementations in softwa...
FPL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents SPA (Simple Power Analysis) attacks against public-key cryptosystems implemented on an FPGA platform. The SPA attack investigates a power waveform generated by...
102
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
ASAP
2000
IEEE
15 years 2 months ago
2000
IEEE
Permutation is widely used in cryptographic algorithms. However, it is not well-supported in existing instruction sets. In this paper, two instructions, PPERM3R and GRP, are propo...