5843 search results - page 832 / 1169 » Software Security in Practice |
172
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...
183
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
203
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
162
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
167
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...