2213 search results - page 122 / 443 » Software Security |
139
click to vote
EMISA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...
145
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
125
Voted
ENTCS
2008
15 years 3 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
160
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
113
Voted
ESSOS
2010
Springer
16 years 8 days ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...