239 search results - page 8 / 48 » Proof Techniques for Cryptographic Processes |
TCC
2010
Springer
14 years 15 days ago
2010
Springer
Related-key attacks are attacks against constructions which use a secret key (such as a blockcipher) in which an attacker attempts to exploit known or chosen relationships among ke...
ICASSP
2011
IEEE
13 years 8 days ago
2011
IEEE
Online recommender systems enable personalized service to users. The underlying collaborative filtering techniques operate on privacy sensitive user data, which could be misused ...
ICCSA
2007
Springer
14 years 2 months ago
2007
Springer
Information aggregation is an important operation in wireless sensor networks executed for the purpose of monitoring and reporting of the environmental data. Due to the performance...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...