416 search results - page 45 / 84 » Some new approaches for preventing software tampering |
109
click to vote
CASCON
1997
15 years 2 months ago
1997
Obtaining performance data for application or system software is typically di cult, especially when the source code is not available. While popular techniques such as event trappi...
110
click to vote
IJFCS
2006
15 years 1 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
CF
2004
ACM
15 years 6 months ago
2004
ACM
Although many defense mechanisms against buffer overflow attacks have been proposed, buffer overflow vulnerability in software is still one of the most prevalent vulnerabilities e...
105
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...