6960 search results - page 1189 / 1392 » Continuity Analysis of Programs |
172
click to vote
USS
2008
15 years 8 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
188
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
179
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
209
click to vote
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
168
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...