2303 search results - page 231 / 461 » The Cryptographic Abstract Machine |
226
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
Shark is a research data analysis system built on a novel rained distributed shared-memory abstraction. Shark marries query processing with deep data analysis, providing a unifie...
282
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
197
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
151
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
163
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The success of electronic authentication systems, be it eID card systems or Internet authentication systems such as CardSpace, highly depends on the provided level of use...