3515 search results - page 345 / 703 » Resource usage analysis |
152
click to vote
CALCO
2007
Springer
16 years 26 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
165
click to vote
CHES
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...
158
click to vote
TACAS
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
186
click to vote
ASAP
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper proposes different low-cost coprocessors for public key authentication on 8-bit smart cards. Elliptic curve cryptography is used for its efficiency per bit of key and ...
177
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
The applicability of network-based computing depends on the availability of the underlying network bandwidth. However, network resources are shared and the available network bandw...