8503 search results - page 1467 / 1701 » Secure Software Architectures |
122
Voted
KDD
2006
ACM
16 years 3 months ago
2006
ACM
Collaborative recommender systems are highly vulnerable to attack. Attackers can use automated means to inject a large number of biased profiles into such a system, resulting in r...
123
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
As sharing personal media online becomes easier and widely spread, new privacy concerns emerge ? especially when the persistent nature of the media and associated context reveals ...
234
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
113
Voted
STOC
2005
ACM
16 years 2 months ago
2005
ACM
We present a variant of the Ajtai-Dwork public-key cryptosystem where the size of the public-key is only O(n log n) bits and the encrypted text/clear text ratio is also O(n log n)...
118
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...