1397 search results - page 140 / 280 » On the Need for Practical Formal Methods |
149
Voted
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
140
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
Motivated by the need for unification of the field of data mining and the growing demand for formalized representation of outcomes of research, we address the task of constructi...
136
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
125
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Multiparty signature protocols need protection against roguekey attacks, made possible whenever an adversary can choose its public key(s) arbitrarily. For many schemes, p...
116
click to vote
IDEAS
2005
IEEE
15 years 10 months ago
2005
IEEE
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. F...