2432 search results - page 123 / 487 » Cryptographic logical relations |
129
Voted
ECCC
2007
15 years 18 days 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...
108
Voted
TIT
2008
15 years 17 days 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...
121
Voted
JSS
2011
14 years 3 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...
124
click to vote
CSFW
2012
IEEE
13 years 3 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...
ACISP
2003
Springer
15 years 5 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...