Section: Contracts and Grants with Industry

The CERTLOGS project

Participants : Thomas Genet, Thomas Jensen, David Pichardie.

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.