5090 search results - page 672 / 1018 » Constructing Strategies for Programming |
164
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
164
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
189
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
160
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We settle the question of tight thresholds for offline cuckoo hashing. The problem can be stated as follows: we have n keys to be hashed into m buckets each capable of holding a s...
167
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A well-known concern in the setting of identity based encryption is that the PKG is all powerful and has to be completely trusted. To mitigate this problem, the notion of Accounta...