120 search results - page 24 / 24 » Construction of a Non-malleable Encryption Scheme from Any S... |
FOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
LICS
2002
IEEE
13 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
INFOCOM
2009
IEEE
13 years 11 months ago
2009
IEEE
—In order to protect privacy, Radio Frequency Identification (RFID) systems employ Privacy-Preserving Authentication (PPA) to allow valid readers to explicitly authenticate their...
USS
2008
13 years 7 months ago
2008
The inability of humans to generate and remember strong secrets makes it difficult for people to manage cryptographic keys. To address this problem, numerous proposals have been s...
ICEIS
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...