5843 search results - page 351 / 1169 » Software Security in Practice |
176
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
203
Voted
CHES
2010
Springer
15 years 8 months ago
2010
Springer
Implementations of cryptographic algorithms are vulnerable to Side Channel Analysis (SCA). To counteract it, masking schemes are usually involved which randomize key-dependent data...
228
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
169
Voted
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
167
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...