3901 search results - page 247 / 781 » software 2008 |
162
click to vote
VIROLOGY
2010
15 years 4 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
172
click to vote
MEMOCODE
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
141
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
We introduce an algebraic proof system that manipulates multilinear arithmetic formulas. We show that this proof system is fairly strong, even when restricted to multilinear arith...
154
click to vote
ISSRE
2008
IEEE
16 years 18 days ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
162
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...