38 search results - page 5 / 8 » On the Impossibility of Strong Encryption Over |
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
The networked and increasingly ubiquitous nature of today's data management services mandates assurances to detect and deter malicious or faulty behavior. This is particularly...
HPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...
FPGA
2001
ACM
14 years 5 days ago
2001
ACM
Matching and searching computations play an important role in the indexing of data. These computations are typically encoded in very tight loops with a single index variable and a...