24188 search results - page 139 / 4838 » Computing on Encrypted Data |
114
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
137
click to vote
EUROCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a computational problem of distinguishing between two specific quantum states as a new cryptographic problem to design a quantum cryptographic scheme that is “secu...
110
click to vote
FCCM
1998
IEEE
15 years 7 months ago
1998
IEEE
PAM-Blox are object-oriented circuit generators on top of the PCI Pamette design environment, PamDC. High- performance FPGA design for adaptive computing is simplified by using a ...
125
click to vote
JCS
2010
15 years 1 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
132
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Many users face surveillance of their Internet communications and a significant fraction suffer from outright blocking of certain destinations. Anonymous communication systems a...