CASSIS - 2012 - Annual activity report

CASSIS

CASSIS - 2012

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

Bilateral Contracts and Grants with Industry

Research Result Transfer

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2012 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