298 search results - page 12 / 60 » ideal 2010 |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
A protocol for computing a functionality is secure if an adversary in this protocol cannot cause more harm than in an ideal computation where parties give their inputs to a truste...
TRUST
2010
Springer
15 years 2 months ago
2010
Springer
Direct Anonymous Attestation (DAA) is an anonymous signature scheme designed for anonymous attestation of a Trusted Platform Module (TPM) while preserving the privacy of the devic...
ENTCS
2010
14 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
DPHOTO
2010
14 years 9 months ago
2010
In this study, we evaluated the effect that pixel size has upon people's preferences for images. We used multispectral images of faces as the scene data and simulated the res...
75
Voted
PPSN
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The chief purpose of research in optimisation is to understand how to design (or choose) the most suitable algorithm for a given distribution of problem instances. Ideall...