620 search results - page 81 / 124 » Abstract Analysis of Symbolic Executions |
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
100
Voted
SIGMETRICS
1999
ACM
15 years 4 months ago
1999
ACM
ded Abstract This paper introduces a new technique for compressing memory address traces. The technique relies on the simple observation that most programs spend their time execut...
103
Voted
MSR
2006
ACM
15 years 6 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
98
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
115
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...