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.