226
click to vote
APLAS
15 years 10 months ago
2008 ACM 
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...
205
click to vote
APLAS
15 years 10 months ago
2008 ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
174
click to vote
APLAS
15 years 10 months ago
2008 ACM 
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
229
click to vote
APLAS
15 years 10 months ago
2008 ACM 
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
209
click to vote
APLAS
15 years 10 months ago
2008 ACM 
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
|
Programming Languages