inria > sophia
ensmp > cma
Mimosa
Migration and Mobility: Semantics and Applications
-- Security
Table of Contents
Main page
Team
Scientific foundations
Publications
Research internships
Activity report (2008)

Team members
Roberto AmadioFlorian Loitsch
Gérard BoudolZhengqin Luo
Frédéric BoussinotGustavo Petri
Anais CassinoTamara Rezk
Ilaria CastellaniManuel Serrano

Past members
Lucia AcciaiSophie Honnorat
Raul AcostaMarija Kolundzija
Yannis BresCédric Lhoussaine
Christian BrunetteAna Matos
Damien CiabriniCharles Meyssonnier
Frederic DabrowskiDavide Sangiorgi
Silvano Dal-ZilioJean-Ferdinand Susini
Stéphane EpardaudOlivier Tardieu
Erick GallesioVincent Vanackère
Xudong GuanPascal Zimmer

Projects & Contracts
Alidecs ACI Sécurité Informatique
CRE France-Télécom R&D
geocal Groupe de travail du GDR Informatique Mathématique.
parsec ANR project

Softwares
Ambient Programming:
AmbIcobjsThe AmbIcobjs Demo
Functional Programming:
Bigloothe optimizing Scheme compiler
Hopa language for programming the Web 2.0
BuglooScheme source level debugger
FlyspellOn-the-fly Emacs spell checker
MlObja programming language with generalized recursion and mixins
Skribea functional markup programming language
Scm2JSa compiler from Scheme to JavaScript
TypIa type inference algorithm for intersection types
Ulma Scheme ULM implementation
Reactive Programming:
FunLoftA functional reactive programming language
FairThreadsa thread-based approach to reactive concurrent programming in Java, C, and Scheme
Icobjsgraphical reactive programming
Juniora minimal set of Java classes for reactive programming (closely related to SugarCubes)
LOFTa thread-based language for reactive programming in C (successor of Reactive-C)
LURCa small lightweight version of ULM in C.
Reactive-Creactive programming in C
ROS/REJOa system for programming mobile reactive agents in Java
Simulation in Physicsapplication of the reactive approach to many-body problems, elastic links, reservoirs...
SugarCubesa framework for reactive programming in Java
[Bou08f]Boudol, G. -- Secure information flow as a safety property -- FAST'08, 2008.
[BK07b]Boudol, G. and Kolundzija, M. -- Access control and declassification -- MMM-ACNS'07, Communications in Computer and Information Science, 2007.
[Alm06b]Almeida Matos, A. -- Typing Secure Information Flow: Declassification and Mobility -- École National Supérieure des Mines de Paris, January, 2006.
[AD06c]Amadio, R. and Dabrowski, F. -- Feasible reactivity for synchronous cooperative threads -- Electronic Notes in Theoretical Computer Science, 154-32006.
[AD06d]Amadio, R. and Dal Zilio, S. -- Resource control for synchronous cooperative threads -- Theoretical Computer Science, 3582006, pp. 229-254.
[Bou06h]Boudol, G. -- Secure information flow as a safety property -- unpublished draft, 2006.
[Bou05d]Boudol, G. -- On typing information flow -- International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science, 2005, pp. 366-380.
[ html ]
[AB05c]Almeida Matos, A. and Boudol, G. -- On declassification and the non-disclosure policy -- Computer Security Foundation Workshop, 2005, pp. 226-240.
[ html ]
[Alm05b]Almeida Matos, A. -- Non-disclosure for distributed mobile code -- FST-TCS'05, Lecture Notes in Computer Science, 2005.
[Ama05d]Amadio, R. -- Synthesis of max-plus quasi-interpretations -- Fundamenta Informaticae, 652005, pp. 29-60.
[AB05d]Almeida Matos, A. and Boudol, G. -- On declassification and the non-disclosure policy -- Computer Security Foundation Workshop, 2005, pp. 226-240.
[ html ]
[MBC04b]Matos, A. and Boudol, G. and Castellani, I. -- Typing noninterference for reactive programs -- Foundations of Computer Security, 2004.
[ pdf ]
[BC02c]Boudol, G. and Castellani, I. -- Non-interference for concurrent programs and thread systems -- Theoretical Computer Science, 281(1), 2002, pp. 109-130.
[ html ]

This Html page has been produced by Skribe.
Last update Thu Jan 15 11:30:19 2009.