53 search results - page 11 / 11 » Static Security Analysis Based on Input-Related Software Fau... |
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...