1822 search results - page 25 / 365 » GENI Design Principles |
CRYPTO
1995
Springer
15 years 6 months ago
1995
Springer
Abstract: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help at...
104
click to vote
SIGECOM
2004
ACM
15 years 8 months ago
2004
ACM
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...
125
Voted
DAGSTUHL
2004
15 years 3 months ago
2004
Abstract. This paper introduces a set of design principles that aim to make processor architectures amenable to static timing analysis. Based on these principles, we give a design ...
119
Voted
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
107
click to vote
LICS
2010
IEEE
15 years 28 days ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...