CASSIS - 2013 - Annual activity report

CASSIS

CASSIS - 2013

Project-Team Cassis

Members

Overall Objectives

Background
Context
Challenge
Highlights of the Year

Research Program

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 and Platforms

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
Study of the electronic voting system of Voxaly

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

2013 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, Franche-Comté Electronique, Mécanique, Thermique et Optique-Sciences et Technologies

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Security and Confidentiality

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