207 search results - page 20 / 42 » Predicate Privacy in Encryption Systems |
ASIACRYPT
2000
Springer
13 years 11 months ago
2000
Springer
The mobile agent is a fundamental building block of the mobile computing paradigm. In mobile agent security, oblivious transfer (OT) from a trusted party can be used to protect th...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
SUTC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—Camera networks are used for a variety of applications including surveillance, traffic monitoring or elderly care. The shift from analog towards fully digitized systems...
ACMICEC
2003
ACM
14 years 19 days ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
EUROCRYPT
2012
Springer
11 years 9 months ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...