Section: Partnerships and Cooperations

Regional Initiatives

The Celtique team collaborates with DGA-MI, a research laboratory belonging to the French army, and located in Rennes. The collaboration has several facets.

• We run a joint bi-monthly seminar on Security and Formal Methods. This seminar attracts attendance from academia and industry.

• DGA-MI is funding a PhD thesis, supervised jointly, on code obfuscation.

• Colas Le Guernic, a DGA-MI researcher, is external collaborator of Celtique on our activities on analysis of binary code.