CASSIS - 2011 - Annual activity report

CASSIS

CASSIS - 2011

Project-Team Cassis

Members

Overall Objectives

Background
Context
Challenge
Highlights of the Year

Scientific Foundations

Introduction
Automated Deduction
Synthesizing and Solving Constraints
Rewriting-based Safety Checking

Application Domains

Verification of Security Protocols
Automated Boundary Testing from Formal Specifications
Program Debugging and Verification
Verification of Web Services
Model-Checking of Collaborative Systems

Software

Protocol Verification Tools
Testing Tools
Collaborative Tools
Other Tools

New Results

Automated Deduction
Security Protocol Verification
Model-based Verification
Model-based Testing
Verification of Collaborative Systems

Contracts and Grants with Industry

Research Result Transfer
European Projects

Partnerships and Cooperations

International Grants
National Grants
International Collaborations
Individual Involvement
Visits of Foreign Researchers
Visits of Team Members

Dissemination

Ph. D. Theses
Habilitation Theses
Committees
Seminars, Workshops, and Conferences

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Project-Team Activity Report

CASSIS

Combination of approaches to the security of infinite states systems

Research centre: Nancy - Grand Est

In partnership with: CNRS, Université de Franche-Comté, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA), Laboratoire d'Informatique de l'Université de Franche-Comté (LIFC)

Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs

Keywords: Formal Methods, Safety, Security, Automated Theorem Proving, Cryptography, Protocols