Inria
/
Raweb 2009
Presentation of the Project Moscova
Logo Inria
Moscova
Mobility, Security, Concurrency, Verification and Analysis
2009 Research Team Activity Report
Paris - Rocquencourt
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Concurrency theory
Type systems
Formal security
Application Domains
Telecoms and Interfaces
Software
OTT: One true tool for the working semanticist
Caml/Jocaml
Secure Sessions
Memevents-Litmus-Diy
New Results
Weak Memory Models
Integrating Typed and Untyped Code in a Scripting Language
Secure Sessions
Models of Audit Logs
Verified Implementations of Cryptographic Protocols
Models and theories of lambda calculus
Proofs of Strong Normalisation
Other Grants and Activities
National actions
European actions
Dissemination
Animation of research
Teaching
Participations to conferences, Seminars, Invitations
Bibliography
Major publications
Publications of the year
References in notes