2303 search results - page 9 / 461 » The Cryptographic Abstract Machine |
PDP
2007
IEEE
14 years 1 months ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
CRYPTO
1989
Springer
13 years 11 months ago
1989
Springer
Z is a software system designed to provide media-transparent network services on a collection of UNIX® machines. These services are comprised of file transfer and command executi...
VMCAI
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
ENTCS
2006
13 years 7 months ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
PKC
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. We develop cryptographically secure techniques to guarantee unconditional privacy for respondents to polls. Our constructions are efficient and practical, and are shown ...