Team indes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities


Major publications by the team in recent years

G. Barthe, T. Rezk, A. Russo, A. Sabelfeld.
Security of Multithreaded Programs by Compilation, in: ESORICS, 2007, p. 2-18.
G. Boudol, I. Castellani.
Noninterference for Concurrent Programs and Thread Systems, in: Theoretical Computer Science, 2002, vol. 281, no 1, p. 109-130.
C. Fournet, T. Rezk.
Cryptographically sound implementations for typed information-flow security, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, 2008, p. 323-335.
M. Serrano, E. Gallesio, F. Loitsch.
HOP, a language for programming the Web 2.0, in: Proceedings of the First Dynamic Languages Symposium, Portland, Oregon, USA, October 2006.
M. Serrano.
Bee: an Integrated Development Environment for the Scheme Programming Language, in: Journal of Functional Programming, May 2000, vol. 10, no 2, p. 1–43.

Publications of the year

Doctoral Dissertations and Habilitation Theses

M. Kolundzija.
Type Systems for Access Control and Information Flow in Programming Languages, Universities of Nice - Sophia Antipolis and Torino, March 2009, Ph. D. Thesis.
F. Loitsch.
Scheme to JavaScript Compilation, Universit de Nice - Sophia Antipolis, Mar 2009, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

G. Barthe, B. Grégoire, C. Kunz, T. Rezk.
Certificate translation for optimizing compilers, in: ACM Trans. Program. Lang. Syst. (TOPLAS), 2009, vol. 31, no 5.

Invited Conferences

M. Serrano.
HOP, a Fast Server for the Diffuse Web, in: Invited paper of the 11th international conference on Coordination Models and Languages (COORDINATION'09), Lisbon, Portugal, Jun 2009.

International Peer-Reviewed Conference/Proceedings

G. Barthe, T. Rezk, A. Russo, A. Sabelfeld.
Security of Multithreaded Programs by Compilation, in: ESORICS'07 Special Issue in ACM Transactions on Information and System Security (TISSEC), 2009.
G. Boudol.
A deadlock-free semantics for shared memory concurrency, in: ICTAC'09, August 2009, p. 140-154, LNCS 5684.
G. Boudol, G. Petri.
Relaxed memory models: an operational approach, in: POPL'09, 2009, p. 392-403.
C. Fournet, G. Le Guernic, T. Rezk.
A Security-Preserving Compiler for Distributed Programs, in: ACM Conference on Computer and Communications Security (CCS)), 2009.
M. Serrano.
Anatomy of a Ubiquitous Media Center, in: Proceedings of the Sixteenth Annual Multimedia Computing and Networking (MMCN'09), San Jose, CA, USA, (taux d'acceptation 12/34), Jan 2009.

Scientific Books (or Scientific Book chapters)

G. Berry.
Penser, modéliser et maîtriser le calcul informatique, 2009.

Other Publications

L. Abbas-Turki, S. Vialle.
European Option Princing on a GPU Cluster, 2009, Note bidon.
G. Boudol, G. Petri.
A theory of speculative computation, October 2009, Submitted.
G. Boudol, G. Petri.
On speculative computation and thread safe programming, November 2009, Draft.
S. Capecchi, I. Castellani, M. Dezani-Ciancaglini, T. Rezk.
Session types for access and information flow control, Dec 2009, Draft.
Z. Luo.
Secure information flow in ULM as a safety property, April 2009, Draft.
M. Serrano, C. Queinnec.
A multi-tier semantics for Hop, 2010, Submitted.
M. Serrano.
HSS: a compiler for Cascading Style Sheets, 2010, Submitted.