2303 search results - page 41 / 461 » The Cryptographic Abstract Machine |
137
Voted
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
99
Voted
FC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. MAC algorithms can provide cryptographically secure authentication services. One of the most popular algorithms in commercial appli
CTRSA
2001
Springer
15 years 7 months ago
2001
Springer
a revised version of the extended abstract which appeared in The Cryptographers’ Track at RSA Conference ’2001 (8 – 12 april 2001, San Francisco, California, USA)
123
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: Message Authentication Code (MAC) algorithms can provide cryptographically secure authentication services. One of the most popular algorithms in commercial
141
Voted
SP
2008
IEEE
15 years 29 days ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...