8623 search results - page 230 / 1725 » Software engineering for secure systems |
142
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
In today’s interconnected world, malware, such as worms and viruses, can cause havoc. A malware detector (commonly known as virus scanner) attempts to identify malware. In spite...
135
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
150
click to vote
CSFW
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
167
click to vote
WETICE
1998
IEEE
15 years 9 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
172
click to vote
WCRE
1995
IEEE
15 years 9 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...