Section: Partnerships and Cooperations

Regional Initiatives

The CERTLOGS project

Participants : Thomas Genet, Thomas Jensen, David Pichardie, Vincent Monfort, Florent Kirchner.

The CERTLOGS project (2009–20012) is funded by the CREATE action of the Région Bretagne. The objective of this project is to develop new kinds of program certificates and innovating certifying verification techniques using static analysis as the fundamental tool and combine this with techniques coming from probabilistic algorithms and cryptography.