DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Non-Interference in Java Card Bytecode

René Rydhof Hansen,
IMM, Technical University of Denmark

Thursday, January 19, 15:15-16:00
DIKU, Universitetsparken 1, room N026

Abstract:

Non-interference is a formalisation of the property that a program does not "leak" secret information. In this talk we show how to define such a notion of non-interference for an abstract version of Java Card bytecode programs where the main technical challenge is to handle the dynamic allocation of objects. Furthermore we define and discuss an information flow analysis that can be used to statically verify that a given program has the non-interference property. The analysis is shown to be formally correct with respect to the semantics.

Scientific host: Julia Lawall. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org