2432 search results - page 123 / 487 » Cryptographic logical relations |
165
click to vote
ECCC
2007
15 years 4 months ago
2007
We propose a general cryptographic primitive called lossy trapdoor functions (lossy TDFs), and use it to develop new approaches for constructing several important cryptographic to...
138
click to vote
TIT
2008
15 years 4 months ago
2008
The nonlinearity profile of a Boolean function (i.e. the sequence of its minimum Hamming distances nlr(f) to all functions of degrees at most r, for r 1) is a cryptographic crite...
152
click to vote
JSS
2011
14 years 7 months ago
2011
For the last decade, elliptic curve cryptography has gained increasing interest in industry and in the academic community. This is especially due to the high level of security it p...
155
Voted
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
116
Voted
ACISP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper presents a robust software token that was developed to protect user’s digital identity by simple software-only techniques. This work is closely related to Ho...