405 search results - page 48 / 81 » Practice-Oriented Provable Security |
103
click to vote
ASIACRYPT
2000
Springer
15 years 4 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...
ASIACRYPT
2006
Springer
15 years 4 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...
80
Voted
CCS
2010
ACM
15 years 19 days 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...
102
Voted
KBSE
2005
IEEE
15 years 6 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...
95
Voted
ACNS
2004
Springer
15 years 5 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...