1599 search results - page 123 / 320 » Program Analysis for Security and Privacy |
100
click to vote
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
160
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
112
click to vote
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Flow based analysis of network traffic is commonly used to analyze and understand security-related events. Graphical analysis helps analysts detect patterns or behaviors that woul...
125
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
114
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...