1599 search results - page 206 / 320 » Program Analysis for Security and Privacy |
127
Voted
OOPSLA
1998
Springer
15 years 8 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
206
click to vote
OOPSLA
2000
Springer
15 years 8 months ago
2000
Springer
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
138
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
159
Voted
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
154
Voted
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Current post-mortem cyber-forensic techniques may cause significant disruption to the evidence gathering process by breaking active network connections and unmounting encrypted di...