5488 search results - page 889 / 1098 » On the Secure Implementation of Security Protocols |
188
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
166
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
183
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
176
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
203
click to vote
ANCS
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...