7924 search results - page 419 / 1585 » Non-Malleable Functions and Their Applications |
228
click to vote
HOA
1993
15 years 11 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
209
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
194
click to vote
CRYPTO
1991
Springer
15 years 11 months ago
1991
Springer
In this paper, we study the application of universal hashingto the construction of unconditionally secure authentication codes without secrecy. This idea is most useful when the nu...
210
click to vote
IADIS
2004
15 years 9 months ago
2004
Internet traffic exhibits a rich autocorrelation behavior, responsible for curving the Energy/Averaging function. We show that the traffic exhibits variations of its details in ma...
215
click to vote
CSREAESA
2003
15 years 9 months ago
2003
: This paper develops a matching and scheduling algorithm that accounts for both the execution time and the power consumption of the application. The power consumption of different...