16 search results - page 3 / 4 » Transforming and Selecting Functional Test Cases for Securit... |
ICSE
2009
IEEE-ACM
14 years 28 days ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
ACSAC
2005
IEEE
13 years 11 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
SP
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...