694 search results - page 112 / 139 » Security and Usability: Analysis and Evaluation |
108
click to vote
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
108
click to vote
WSE
2006
IEEE
15 years 3 months ago
2006
IEEE
The widespread adoption of web services as an instant means of information dissemination and various other transactions, has essentially made them a key component of today’s Int...
91
Voted
SPEECH
2011
14 years 4 months ago
2011
We propose a novel algorithm for the separation of convolutive speech mixtures using two-microphone recordings, based on the combination of independent component analysis (ICA) an...
172
click to vote
TDSC
2011
14 years 4 months ago
2011
To ensure fair and secure communication in Mobile Ad hoc Networks (MANETs), the applications running in these networks must be regulated by proper communication policies. However,...
135
Voted
ESORICS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...