Scientific articles

PhD Defense of Martin Bodin

admin 2016/11/25 2017/01/10Scientific articles

Martin Bodin has successfully defended his PhD on “Certified Semantics and Analysis of JavaScript”, covering his work on the formalization of JavaScript in Coq and the development of a framework to systematically derive certified abstract semantics from concrete semantics. [More…]

Paper Accepted at JFLA 2017

admin 2016/11/19 2017/01/10Scientific articles

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…]