Secure Diffuse Programming
New paper on behavioural types for security is published at JLAMP
A paper on taxonomy of information flow monitors is accepted to POST’16
November 3, 2015
A new PhD student, Francis Some, joined INDES on 1 November 2015 to work under the supervision of Tamara Rezk and Nataliia Bielova. Welcome, Francis!
Team Web Sites Generator / SEISM / DSI / INRIA
Made with by Graphene Themes.