405 search results - page 48 / 81 » Practice-Oriented Provable Security |
127
click to vote
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
A potentially serious problem with current digital signature schemes is that their underlying hard problems from number theory may be solved by an innovative technique or a new gen...
135
click to vote
ASIACRYPT
2006
Springer
15 years 7 months ago
2006
Springer
Currently, the best and only evidence of the security of the OAEP encryption scheme is a proof in the contentious random oracle model. Here we give further arguments in support of...
102
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
A network latency estimation scheme associates a "position" to every peer in a distributed network such that the latency between any two nodes can be accurately estimate...
129
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
116
click to vote
ACNS
2004
Springer
15 years 8 months ago
2004
Springer
We study the data privacy of cryptosystems with All-or-Nothing transform (AONT). An AONT is an efficient computable transform with two properties: Given all the bits of its output...