5843 search results - page 369 / 1169 » Software Security in Practice |
144
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...
170
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
174
click to vote
TRUST
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
186
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
Although open-source software development has virtues, there is reason to believe that the approach would not have a significant effect on the security of today’s systems. The ...
176
Voted
CCS
2007
ACM
16 years 26 days ago
2007
ACM
We propose minimalist new hardware additions to a microprocessor chip that protect cryptographic keys in portable computing devices which are used in the field but owned by a cen...