3333 search results - page 378 / 667 » Abstract Proof Search |
184
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas eļ¬ciently. The design choices however eļ...
154
click to vote
ASIACRYPT
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between...
163
click to vote
CRYPTO
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
176
click to vote
EUROCRYPT
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. We propose a simple and eļ¬cient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
139
click to vote
FASE
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...