24188 search results - page 139 / 4838 » Computing on Encrypted Data |
150
click to vote
ESOP
2005
Springer
15 years 12 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 ...
187
click to vote
EUROCRYPT
2005
Springer
15 years 12 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...
154
click to vote
FCCM
1998
IEEE
15 years 10 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 ...
167
click to vote
JCS
2010
15 years 4 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...
176
click to vote
CCS
2011
ACM
14 years 6 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...