Automatic person re-identification (re-id) across camera boundaries is a challenging
problem. Approaches have to be robust against many factors which influence the visual …

The JavaScript programming language is widely used for web programming and,
increasingly, for general purpose computing. As such, improving the correctness, security …

JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a
higher security level than their own. Various researchers have demonstrated how this …

We reduce JavaScript to a core calculus structured as a small-step operational semantics.
We present several peculiarities of the language and show that our calculus models them …

Transforming text into executable code with a function such as JavaScript's eval endows
programmers with the ability to extend applications, at any time, and in almost any way they …

JavaScript is the most widely used web language for client-side applications. Whilst the
development of JavaScript was initially just led by implementation, there is now increasing …

Abstract Information-flow control tracks how information propagates through the program
during execution to make sure that the program handles the information securely. Secure …

JavaScript is the most popular client-side scripting language for Web applications.
Exploitable JavaScript code exposes end users to integrity and confidentiality violations …

The prevalent uses of JavaScript in web programming have revealed security vulnerability
issues of JavaScript applications, which emphasizes the need for JavaScript analyzers to …