405 search results - page 76 / 81 » Practice-Oriented Provable Security |
IJACT
2008
13 years 7 months ago
2008
: In the absence of sufficiently optimised public key constructions, anonymous authentication for Radio-Frequency Identification Devices (RFIDs) requires state synchronisation betw...
STOC
2005
ACM
14 years 7 months ago
2005
ACM
We introduce the novel concept of covert two-party computation. Whereas ordinary secure two-party computation only guarantees that no more knowledge is leaked about the inputs of t...
PROVSEC
2009
Springer
14 years 2 months ago
2009
Springer
Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database ap...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
ACNS
2006
Springer
14 years 1 months ago
2006
Springer
In a society increasingly concerned with the steady assault on electronic privacy, the need for privacy-preserving techniques is both natural and justified. This need extends to t...