2236 search results - page 119 / 448 » Secure Software Design in Practice |
162
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
123
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
133
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This work studies the security of ten popular package managers. These package managers use different security mechanisms that provide varying levels of usability and resilience to...
128
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which ...
122
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...