Paper Accepted at JFLA 2017

The Paper “Non-Interfererence through Annotated Multisemantics”, written by Gurvan Cabon and Alan Schmitt, has been accepted at the JFLA workshop. This paper defines an alternative semantics for programs that captures the notion of non-interference by tracking information flows. [More…]

Comments are closed