62 search results - page 8 / 13 » Groth-Sahai Proofs Revisited |
116
click to vote
ESWS
2006
Springer
15 years 2 months ago
2006
Springer
Existing mature ontology engineering approaches are based on some basic assumptions that are often violated in practice, in particular in the Semantic Web. Ontologies often need to...
88
Voted
ASIACRYPT
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
99
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
92
Voted
CSL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
84
Voted
CRYPTO
2005
Springer
15 years 4 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...