11063 search results - page 232 / 2213 » On the existence of universal models |
197
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
158
click to vote
CRYPTO
2004
Springer
16 years 2 hour ago
2004
Springer
In this paper, we show that a key encapsulation mechanism (KEM) does not have to be IND-CCA secure in the construction of hybrid encryption schemes, as was previously believed. Tha...
200
click to vote
SCCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The distribution of keys by a hash function as used in hash search with chaining is studied by considering the distribution of keys a random function from keys to buckets would gi...
164
Voted
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
187
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication is a widely studied paradigm for building fault-tolerant distributed systems. The Armada project at the University of Michigan is a collaborative effort with t...