Copenhagen Programming Language Seminar
We specify, via a Hoare-like logic, an interprocedural and flow
sensitive (but termination insensitive) information flow analysis for
object-oriented programs. Pointer aliasing is ubiquitous in such programs,
and can potentially leak confidential information. Thus the logic employs
independence assertions to describe the noninterference property that
formalizes confidentiality, and employs region assertions to describe
possible aliasing. Programmer assertions, in the style of JML, are also
allowed, thereby permitting a more fine-grained specification of
information flow policy.
Andrzej Filinski, 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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org