Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

Visits of Foreign Researchers

Bogdan Warinschi (University of Bristol) has visited LORIA to work on refinement of security systems (February 22-26th) and on combination techniques for soundness results of symbolic model (July 21-23rd).

Paliath Narendran (SUNY Albany) has visited LORIA from May 28 to June 5 to work on protocol verification.

Adel Bouhoula (SupCom Tunis) has visited LORIA from October 23 to October 28 to work on computer security.


previous
next

Logo Inria