2303 search results - page 14 / 461 » The Cryptographic Abstract Machine |
97
Voted
SEQLEARN
2001
Springer
15 years 6 months ago
2001
Springer
eed for a Neural Abstract Machine Diego Sona, Alessandro Sperduti Dipartimento di Informatica Universit`a di Pisa
123
click to vote
COORDINATION
2005
Springer
15 years 8 months ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
112
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
116
click to vote
DLT
2006
15 years 3 months ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...