37217 search results - page 7434 / 7444 » or 2010 |
205
click to vote
CADE
2011
Springer
14 years 11 days ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
130
click to vote
CCS
2011
ACM
14 years 11 days ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
101
Voted
CCS
2011
ACM
14 years 11 days ago
2011
ACM
Search engine optimization (SEO) techniques are often abused to promote websites among search results. This is a practice known as blackhat SEO. In this paper we tackle a newly em...
112
Voted
CIKM
2011
Springer
14 years 11 days ago
2011
Springer
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...
111
Voted
CRYPTO
2011
Springer
14 years 6 days ago
2011
Springer
We present a somewhat homomorphic encryption scheme that is both very simple to describe and analyze, and whose security (quantumly) reduces to the worst-case hardness of problems ...