2432 search results - page 158 / 487 » Cryptographic logical relations |
101
Voted
IJCAI
1993
15 years 2 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
101
click to vote
STACS
2009
Springer
15 years 7 months ago
2009
Springer
We revisit the problem of generating a “hard” random lattice together with a basis of relatively short vectors. This problem has gained in importance lately due to new cryptogr...
118
Voted
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
128
click to vote
SACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
The classical McEliece cryptosystem is built upon the class of Goppa codes, which remains secure to this date in contrast to many other families of codes but leads to very large pu...
101
click to vote
DELTA
2008
IEEE
15 years 7 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...