CASSIS - 2014 - Annual activity report

CASSIS

CASSIS - 2014

Project-Team Cassis

Members

Overall Objectives

Background
Context
Challenge

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

New Software and Platforms

Protocol Verification Tools
Testing Tools
Other Tools

New Results

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

Bilateral Contracts and Grants with Industry

Research Result Transfer
Electronic Voting Systems
Analysis of Electrum Bitcoin Wallet

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2014 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