1446 search results - page 183 / 290 » Hardware Software Co-Design Using Functional Languages |
102
click to vote
SAMOS
2007
Springer
15 years 11 months ago
2007
Springer
—This paper describes the design of a programmable coprocessor for Public Key Cryptography (PKC) on an FPGA. The implementation provides a very broad range of functions together ...
113
Voted
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We present a model of adaptive side-channel attacks which we combine with information-theoretic metrics to quantify the information revealed to an attacker. This allows us to expr...
162
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
125
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
118
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...