5119 search results - page 948 / 1024 » Security Privacy |
137
Voted
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
The Universal Serial Bus (USB) connection has become the de-facto standard for both charging and data transfers for smart phone devices including Google's Android and Apple&#...
192
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
150
Voted
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
178
Voted
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols...
151
click to vote
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
Spam is increasingly accepted as a problem associated with compromised hosts or email accounts. This problem not only makes the tracking of spam sources difficult but also enables ...